No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30385-30388 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20016-20016 | 家畜 是 动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20081-20081 | 家猫 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20093-20093 | 家养的狗 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | 马骡 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | 羊 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | 牛 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30574-30574 | Ferret 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30592-30592 | GuineaPig 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | Hamster 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | 家畜 是 家畜 的 subclass |
![]() |