No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30437-30437 |
The maximum expected value of parrot is 9.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30438-30438 |
The minimum expected value of parrot is 0.4 ounce(s) |
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 africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30439-30439 |
Parrot inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30443-30443 |
Parrot inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30441-30441 |
Parrot inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30442-30442 |
Parrot inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30444-30444 |
Parrot the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30436-30436 |
Parrot is a subclass of bird |