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. | Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4945-4950 |
|
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. | Merge.kif 14446-14446 | 子類 Animal and Organism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4407-4407 | 子類 Biped and Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | 子類 家畜 and Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | 子類 Vertebrate and Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14503-14503 | 子類 Invertebrate and Animal |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6794-6794 | 子類 刺槐 and Animal |