No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2590-2604 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6819-6832 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20373-20380 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 339-341 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5374-5382 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8850-8855 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2254-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 754-763 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5360-5368 |
|