|
|
   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 est une sous-classe de CompositeUnitOfMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13688-13688 | Acre est une instance de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13623-13623 | SquareFoot est une instance de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 613-613 | SquareKilometer est une instance de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3953-3953 | SquareMeter est une instance de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13691-13691 | SquareMile est une instance de UnitOfArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13701-13701 | SquareYard est une instance 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 31718-31718 | Le nombre 3 argument de populationDensity est une instance de UnitOfArea |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
|
|
|