No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2591-2605 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7119-7132 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20818-20825 |
|
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 5650-5658 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9208-9213 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2281-2292 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 754-767 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5636-5644 |
|