| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30473-30473 |
Parrot 的 maximum 預期價值是 測量 9.0 and 磅質量 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30474-30474 |
Parrot 的 minimum 預期價值是 測量 0.4 and 盎司 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30463-30470 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30476-30476 |
Parrot inhabits 非洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30475-30475 |
Parrot inhabits 亞洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30479-30479 |
Parrot inhabits 澳大利亞 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30477-30477 |
Parrot inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30478-30478 |
Parrot inhabits 南美洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30480-30480 |
屬性 Parrot and LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30472-30472 |
子類 Parrot and Bird |
