No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30437-30437 |
Parrot 的 maximum 預期價值是 測量 9.0 and 磅質量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30438-30438 |
Parrot 的 minimum 預期價值是 測量 0.4 and 盎司 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30427-30434 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30440-30440 |
Parrot inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30439-30439 |
Parrot inhabits 亞洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30443-30443 |
Parrot inhabits 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30441-30441 |
Parrot inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30442-30442 |
Parrot inhabits 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30444-30444 |
屬性 Parrot and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30436-30436 |
子類 Parrot and Bird |