No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 772-778 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4648-4657 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4658-4667 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6357-6364 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 874-880 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24019-24028 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11754-11769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 756-771 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5043-5051 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11973-11982 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9986-9994 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 510-516 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1943-1965 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2447-2454 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2421-2430 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2412-2419 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |