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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 6279-6280
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 6277-6277 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
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. terms-de.txt 817-817
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 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. Mid-level-ontology.kif 33142-33142 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 548-548 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 2068-2078
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 1194-1209
No TPTP formula. May not be expressible in strict first order. Merge.kif 6380-6384


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