|
|
   UnitOfArea
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2410-2411 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6274-6276 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1097-1098 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6272-6272 | UnitOfArea e' uma sub-classe de CompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13689-13689 | Acre e' uma instancia de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13624-13624 | 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 13692-13692 | SquareMile e' uma instancia de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13702-13702 | SquareYard e' uma instancia de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65652-65652 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31722-31722 | O argumento numero 3 de populationDensity e' uma instancia de UnitOfArea |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
|
|
|