appearance as argument number 1 |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30457-30457 |