| AreaMeasure(area measure) | | Medida_de_Area, MisuraDiArea, ar, are, area, area_measure, area_unit, arpent, b, balk, barn, baulk, centare, dessiatine, erasure, expanse, footprint, gidak-ong_sukod, hectare, king-size, king-sized, kshetraphala_maapa, mesure_d'aire, morgen, perch, pole, quarter_section, queen-size, queen-sized, rod, sq_ft, sq_in, sq_yd, square_foot, square_inch, square_measure, square_meter, square_metre, square_yard, sukat_ng_lawak, surface_area, 面积测量 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6379-6379 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6377-6378 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6376-6376 | Area measure is a subclass of function quantity |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1305-1305 | "面积测量" is the printable form of area measure in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 992-992 | "area measure" is the printable form of area measure in english language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 983-983 | "mesure d'aire" is the printable form of area measure in french language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 518-518 | "kshetraphala maapa" is the printable form of area measure in Hindi |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 520-520 | "MisuraDiArea" is the printable form of area measure in italian language |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 935-935 | "Medida de Area" is the printable form of area measure in portuguese language |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 524-524 | "gidak-ong sukod" is the printable form of area measure in cb |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 558-558 | "area measure" is the printable form of area measure in cz |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 523-523 | "sukat ng lawak" is the printable form of area measure in tg |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 543-543 | The number 2 argument of land area only is an instance of area measure |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 536-536 | The number 2 argument of total area is an instance of area measure |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 552-552 | The number 2 argument of water area only is an instance of area measure |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1136-1148 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6493-6497 |
|
|
|
|