No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30449-30449 |
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 30450-30450 |
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 30439-30446 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30452-30452 |
Parrot inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30451-30451 |
Parrot inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30455-30455 |
Parrot inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30453-30453 |
Parrot inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30454-30454 |
Parrot inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30456-30456 |
Parrot the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30448-30448 |
Parrot is a subclass of bird |