No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13688-13688 |
Acre e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13623-13623 |
SquareFoot e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 613-613 |
SquareKilometer e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3953-3953 |
SquareMeter e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13691-13691 |
SquareMile e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13701-13701 |
SquareYard e' uma instancia de UnitOfArea |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65652-65652 |
|