Issues
- 0
- 8
manual installation corenlp
#105 opened by alexander-gabriel - 0
14 Unit tests are broken on head
#68 opened by kharus - 1
SUMOKBtoTPTPKB writes 195k lines into console
#97 opened by kharus - 1
TPTP output produced twice in SUMOKBtoTPTPKB.main
#96 opened by kharus - 6
EProver seems to not working in the apease/sigmakee2018:latest docker, and new docker fails to build
#76 opened by astroseger - 2
Web interface error
#75 opened by Pruzny - 12
Problems installing SUMO manually on Ubuntu
#73 opened by ArunSingh94 - 9
Sigmakee has been initializing for 2h
#74 opened by alkis05 - 5
- 27
Vampire proves both (subclass A B) and (not (subclass A B)) , same for instance on Merge.kif
#69 opened by kharus - 5
VirusProteinAndCellPart causes error in eprover
#67 opened by kharus - 5
Eprover error on SUMO.ptpt "Closing bracket expected, but Hyphen read" caused by s__rMProgram-of
#66 opened by kharus - 1
- 6
what parts need to be updated?
#64 opened by manisabri - 10
InferenceTestSuite
#60 opened by arademaker - 0
cache warnings
#62 opened by arademaker - 1
inference engine
#61 opened by arademaker - 2
multiple kb in the config file
#59 opened by arademaker - 3
hardcoded 8080 port on links?
#34 opened by arademaker - 1
State of packaging
#58 opened by aindilis - 8
MAC OS install
#57 opened by jmugan - 22
dumb question, how to integrate with SUMO?
#17 opened by jmugan - 0
axioms with +1 variables in predicate position
#56 opened by arademaker - 9
bug in the cache code
#55 opened by arademaker - 1
login page redirect for an error page
#54 opened by arademaker - 6
THF translation is broken
#51 opened by arademaker - 0
uniform way to output transformations
#53 opened by arademaker - 2
TPTP/FOF transformation still incomplete
#50 opened by arademaker - 1
TPTP transformation showing errors
#49 opened by arademaker - 4
TFO transformation of `minValue`
#38 opened by arademaker - 2
TPTP transformation is broken
#45 opened by arademaker - 2
TF0 transformation errors and warnings
#47 opened by arademaker - 8
CVC4 with TF0 translation
#48 opened by arademaker - 1
numbers in TPTP/FOF
#46 opened by arademaker - 12
- 7
TF0 transformation failed
#44 opened by arademaker - 3
warning during building with ant
#40 opened by arademaker - 3
Tomcat no longer at described link
#32 opened by JelenaMitrovic - 1
- 8
- 10
Instalation Problems
#27 opened by ppljs - 6
docker failed
#29 opened by arademaker - 10
kbCache is null when run through eclipse
#26 opened by kkalouli - 3
Title bar reordering
#21 opened by msvarny - 0
Diagnostics tool gives false positives for Error: Terms without a root at Entity
#20 opened by msvarny - 3
Can't use E to prove (valence causes 2)
#19 opened by jefft0 - 5
Can't use E to prove (instance causes Predicate)
#18 opened by jefft0 - 0
dumb question, how to integrate with SU
#16 opened by jmugan - 11
INFO Predicate does not have an arity defined
#11 opened by jefft0