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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AreaMeasure

Sigma KEE - AreaMeasure
AreaMeasure(area measure)ar, are, area, area_measure, area_unit, arpent, b, balk, barn, baulk, centare, dessiatine, erasure, expanse, footprint, hectare, king-size, king-sized, 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, surface_area, 面积测量, 面積測定

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6413-6413
No TPTP formula. May not be expressible in strict first order. Merge.kif 6411-6412
No TPTP formula. May not be expressible in strict first order. Merge.kif 6410-6410 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 1996-1996 "area measure" is the printable form of area measure in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1997-1997 "面積測定" is the printable form of area measure in japanese language

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 6527-6531


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

Show without tree


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