Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AreaMeasure
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2019-2026
No TPTP formula. May not be expressible in strict first order. Geography.kif 2159-2166
No TPTP formula. May not be expressible in strict first order. Geography.kif 2109-2116
No TPTP formula. May not be expressible in strict first order. Geography.kif 2067-2074
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 1136-1148
No TPTP formula. May not be expressible in strict first order. Merge.kif 6493-6497


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners