No TPTP formula. May not be expressible in strict first order. | Merge.kif 14583-14583 | 鸟 是 温血脊椎动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20223-20223 | 家禽 是 鸟 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20254-20254 | 猫头鹰 是 鸟 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20258-20258 | 鸽子 是 鸟 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20261-20261 | 秃鹫 是 鸟 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30436-30436 | Parrot 是 鸟 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2049-2049 | QuailBird 是 鸟 的 subclass |