No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30397-30400 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | 家畜 是 动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20082-20082 | 家猫 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20094-20094 | 家养的狗 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20160-20160 | 马骡 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20179-20179 | 羊 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20193-20193 | 牛 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30586-30586 | Ferret 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | GuineaPig 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30616-30616 | Hamster 是 家畜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | 家畜 是 家畜 的 subclass |