No TPTP formula. May not be expressible in strict first order. | Merge.kif 14561-14561 | 子類 Bird and WarmBloodedVertebrate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20224-20224 | 子類 家禽 and Bird |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20255-20255 | 子類 貓頭鷹 and Bird |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20259-20259 | 子類 鴿子 and Bird |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20262-20262 | 子類 禿鷲 and Bird |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30448-30448 | 子類 Parrot and Bird |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2049-2049 | 子類 QuailBird and Bird |