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

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb    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 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity is an arable land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2159-2166 If a constant quantity is an irrigated land area of a geographic area and the constant quantity is an instance of area measure and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity is an irrigated land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2109-2116 If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity is an other land use area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2067-2074 If a constant quantity is a permanent crop land area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity 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 an object is another real number the unit of measure(s) and the object is an instance of american state and alaska is not equal to the object,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 1136-1148 If oversized is an attribute of an object and the object is an immediate instance of a set or class and the set or class is a subclass of hotel unit,then there exist another object, a physical quantity and another physical quantity such that the other object is an immediate instance of the set or class and the measure of the other object is the physical quantity and the measure of the object is the other physical quantity and the physical quantity is an instance of area measure and the other physical quantity is an instance of area measure and the other physical quantity is greater than the physical quantity No TPTP formula. May not be expressible in strict first order. Merge.kif 6527-6531 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 simplified definition (without tree view)
Show simplified definition (with tree view) 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