No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13516-13527 |
|
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. | MilitaryProcesses.kif 2032-2042 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26690-26693 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4025-4038 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 826-831 |
|
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. | Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2112-2121 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 |
|
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. | Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7528-7533 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15431-15440 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2029-2034 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 600-608 | |
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. | Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 |
|
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. | Mid-level-ontology.kif 9671-9676 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 281-292 | |
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. | Geography.kif 4732-4740 | |
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. | Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6425-6434 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2277-2286 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1688-1693 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 98-104 | |
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 14789-14798 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 |
|
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. | Mid-level-ontology.kif 8243-8257 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1980-1989 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18896-18901 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
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 21089-21101 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21036-21043 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2202-2211 |
|
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. | Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2280-2290 |
|
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. | Mid-level-ontology.kif 16981-16986 | |
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. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24195-24206 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8293-8302 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5235-5244 |
|
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. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2271-2278 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24236-24246 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15016-15024 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 855-860 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18084-18092 | |
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. | Mid-level-ontology.kif 21066-21080 |
|
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. | Mid-level-ontology.kif 3600-3605 |
|
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. | Cars.kif 1772-1786 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 160-167 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2156-2165 |
|
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. | Economy.kif 5485-5493 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9561-9574 |
|