No TPTP formula. May not be expressible in strict first order. | Merge.kif 14685-14685 | 爬虫类 是 冷血脊椎动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12561-12561 | 蛇 是 爬虫类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20265-20265 | Alligator 是 爬虫类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30532-30532 | Crocodile 是 爬虫类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4923-4923 | 龟 是 爬虫类 的 subclass |
![]() |