TreeView Knowledge Base Browser - AreaMeasure

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 6294-6295
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 6292-6292	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 709-709	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 33140-33140	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 718-718	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 2238-2248	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and equal a third real number and the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 871-878	If an unit of measure is an instance of area measure and the measure of alaska is a real number the unit of measure(s) and the measure of a physical is another real number the unit of measure(s) and the physical is an instance of american state and equal alaska and the physical, then the other real number is less than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6395-6399	If equal a real number an unit of measure(s) and a physical quantity and the unit of measure is an instance of unit of area, then the physical quantity is an instance of area measure

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