located |
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 |