  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 5971-5972 No TPTP formula. May not be expressible in strict first order. Merge.kif 5969-5969 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 1836-1836

 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 2052-2059 If a number is an arable land area of a geographic area and the number is greater than or equal to 0 and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number,then the third number is an arable land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2192-2199 If a number is an irrigated land area of a geographic area and the number is an instance of area measure and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number,then the third number is an irrigated land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2142-2149 If a number is an other land use area of a geographic area and the number is greater than or equal to 0 and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number,then the third number is an other land use area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2100-2107 If a number is a permanent crop land area of a geographic area and the number is greater than or equal to 0 and another number is a total area of the geographic area and the other number is an instance of area measure and a third number is equal to the number and the other number,then the third number is a permanent crop 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 a subclass 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 alaska is not equal to 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 1151-1166 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 UnitOfArea 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 6072-6076 If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of UnitOfArea,then the physical quantity is an instance of area measure 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