No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18923-18928 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21149-21149 | 子類 科學 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21153-21153 | 子類 社會科學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21164-21164 | 子類 精算科學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21221-21221 | 子類 天文學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21226-21226 | 子類 計算機科學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21233-21233 | 子類 地理 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21238-21238 | 子類 製圖 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21241-21241 | 子類 地質學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21245-21245 | 子類 LibraryScience and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21259-21259 | 子類 生物學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21264-21264 | 子類 生理 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21269-21269 | 子類 醫藥科學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21273-21273 | 子類 老兵專用醫藥 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21279-21279 | 子類 植物學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21284-21284 | 子類 動物學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21289-21289 | 子類 自然科學領域 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21291-21291 | 子類 Biochemistry and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21292-21292 | 子類 化學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21296-21296 | 子類 古生物學 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21299-21299 | 子類 物理 and 科學 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21302-21302 | 子類 工程 and 科學 |