No TPTP formula. May not be expressible in strict first order. | Cars.kif 3482-3509 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6393-6404 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23988-23990 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7351-7365 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3531-3552 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14624-14638 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29730-29739 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 64-76 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
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. | Hotel.kif 396-417 |
|
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. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4481-4492 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14606-14613 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9561-9574 |