|
|
   Parrot
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30437-30437 | defaultMaximumMeasure Parrot and 9.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30438-30438 | defaultMinimumMeasure Parrot and 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 | habitatOfOrganism Parrot and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30439-30439 | habitatOfOrganism Parrot and Asia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30443-30443 | habitatOfOrganism Parrot and Australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30441-30441 | habitatOfOrganism Parrot and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30442-30442 | habitatOfOrganism Parrot and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30444-30444 | Parrot tem um atributo de LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30436-30436 | Parrot e' uma sub-classe de Passaro |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30445-30445 |
|
|
|