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_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. chinese_format.kif 2409-2409
No TPTP formula. May not be expressible in strict first order. Merge.kif 6173-6174
No TPTP formula. May not be expressible in strict first order. Merge.kif 6171-6171 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1827-1827

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 546-546 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 539-539 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 555-555 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 2083-2093
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 1164-1179
No TPTP formula. May not be expressible in strict first order. Merge.kif 6274-6278


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 3.0 is open source software produced by Articulate Software and its partners