| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30449-30449 |
Parrot 的 maximum 预期价值是 9.0 磅质量 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30450-30450 |
Parrot 的 minimum 预期价值是 0.4 盎司 |
| 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 非洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30451-30451 |
Parrot inhabits 亚洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30455-30455 |
Parrot inhabits 澳大利亚 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30453-30453 |
Parrot inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30454-30454 |
Parrot inhabits 南美洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30456-30456 |
Parrot 有 LeastConcernSpecies 的 attribute |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30448-30448 |
Parrot 是 鸟 的 subclass |
