| AreaMeasure(Medida de Area) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2409-2409 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6270-6271 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1096-1096 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6268-6268 | Medida de Area e' uma sub-classe de Funcao de Quantidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1305-1305 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1827-1827 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 983-983 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 518-518 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 522-522 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2667-2667 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 935-935 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 524-524 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 558-558 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1004-1004 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 523-523 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 539-539 | O argumento numero 2 de landAreaOnly e' uma instancia de Medida de Area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31227-31227 | O argumento numero 2 de totalArea e' uma instancia de Medida de Area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 548-548 | O argumento numero 2 de waterAreaOnly e' uma instancia de Medida de Area |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2080-2090 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 871-878 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6371-6375 |
|
|
|
|