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

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

Sigma KEE - width
 width

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2640-2641 No TPTP formula. May not be expressible in strict first order. Merge.kif 7187-7188 No TPTP formula. May not be expressible in strict first order. Merge.kif 7184-7184 width is an instance of binary predicate No TPTP formula. May not be expressible in strict first order. Merge.kif 7183-7183 width is an instance of single valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 7185-7185 width is a subrelation of linearExtent

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 615-615 No TPTP formula. May not be expressible in strict first order. english_format.kif 621-621 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 616-616 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62982-62982 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62981-62981

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 9175-9181 The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure No TPTP formula. May not be expressible in strict first order. Geography.kif 873-879 If an object is an instance of the maritime claims territorial sea of a region and the width of the object is a real number an unit of measure(s) and the distance between a physical and the region is another real number the unit of measure(s) and the other real number is less than or equal to the real number,then the physical is located at the object No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5024-5031 If a self connected object is an instance of bottle and the bottom of the self connected object is another self connected object and the top of the self connected object is a third self connected object and the width of the other self connected object is a quantity and the width of the third self connected object is another quantity,then the other quantity is less than the quantity No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245 If an object is an instance of projectile and a length measure is a caliber of a kind of gun and another object is an instance of a kind of gun and the width of the object is the length measure1 and the length measure is equal to the length measure1,then the other object is capable of doing the class described by a symbolic string as a instrument No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262 If an object is an instance of projectile and a length measure is a caliber of a kind of gun and a physical is an instance of a kind of gun and the width of the object is the length measure1 and the length measure is equal to the length measure1,then the physical purpose there exists another entity such that the other entity is an instance of shooting and the object is a patient of the other entity and the physical is an instrument for the other entity No TPTP formula. May not be expressible in strict first order. Food.kif 628-634 If an object is an instance of Spaghetti and another object is an instance of Linguine and the width of the object is a quantity and the width of the other object is another quantity,then the other quantity is greater than the quantity No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 219-228 If a process is an instance of shooting and an object is an instrument for the process and another object is a patient of the process and the width of the other object is an entity and the object is an instance of the objectCLASS and the other object is an instance of projectile and a length measure is a caliber of the objectCLASS,then the length measure is equal to the entity No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169 If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number,then the vehicle is capable of doing the class described by a symbolic string as a instrument No TPTP formula. May not be expressible in strict first order. Geography.kif 862-871 If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0,then the object is not located at the other object No TPTP formula. May not be expressible in strict first order. Geography.kif 851-860 If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0,then the object is located at the other object

 consequent No TPTP formula. May not be expressible in strict first order. Media.kif 1247-1252 If an object is an instance of OpticalDisc and MiniSizeDisc is an attribute of the object,then the width of the object is 80 millimeter(s) No TPTP formula. May not be expressible in strict first order. Media.kif 1234-1239 If an object is an instance of OpticalDisc and StandardSizeDisc is an attribute of the object,then the width of the object is 120 millimeter(s) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11037-11044 If the maximum expected width of a kind of object is a length measure,then the statement there exists an entity such that the entity is an instance of a kind of object and the width of the entity is the length measureIDTH and the length measureIDTH is greater than the length measure has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11022-11029 If the minimum expected width of a kind of object is a length measure,then the statement there exists an entity such that the entity is an instance of a kind of object and the width of the entity is the length measureIDTH and the length measureIDTH is less than the length measure has the modal force of unlikely No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1662-1674 If a self connected object is an instance of Amphibious Assault Vehicle,then the length of the self connected object is 7.94 meter(s) and the width of the self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of the self connected object and the height of the self connected object is 3.26 meter(s) and 480 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1235-1247 If a self connected object is an instance of AG m114,then the length of the self connected object is 1.63 meter(s) and the width of the self connected object is 0.71 meter(s) and the height of the self connected object is 0.71 meter(s) and 45 kilogram(s) is a weight of the self connected object and 8 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1155-1167 If a self connected object is an instance of AG m65,then the length of the self connected object is 2.55 meter(s) and the width of the self connected object is 0.7 meter(s) and the height of the self connected object is 0.7 meter(s) and 302 kilogram(s) is a weight of the self connected object and 27 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1900-1912 If a self connected object is an instance of A h1,then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634 kilogram(s) is a weight of the self connected object and 587 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1189-1201 If a self connected object is an instance of AI m9,then the length of the self connected object is 2.85 meter(s) and the width of the self connected object is 0.63 meter(s) and the height of the self connected object is 0.63 meter(s) and 91 kilogram(s) is a weight of the self connected object and 18 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. WMD.kif 205-211 If an object is an instance of bacterium,then there exists a real number such that the width of the object is the real number meter(s) and the real number is greater than or equal to 0.000001 and the real number is less than or equal to 0.000002 No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1860-1872 If a self connected object is an instance of C h46 d,then the length of the self connected object is 25.72 meter(s) and the width of the self connected object is 15.54 meter(s) and the height of the self connected object is 5.1 meter(s) and 7047 kilogram(s) is a weight of the self connected object and 676 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1788-1800 If a self connected object is an instance of C h53 e,then the length of the self connected object is 30.2 meter(s) and the width of the self connected object is 24.1 meter(s) and the height of the self connected object is 8.46 meter(s) and 15071 kilogram(s) is a weight of the self connected object and 2000 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1744-1756 If a self connected object is an instance of harrier2,then the length of the self connected object is 14.1 meter(s) and the width of the self connected object is 9.2 meter(s) and the height of the self connected object is 3.5 meter(s) and 5700 kilogram(s) is a weight of the self connected object and 1000 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1542-1554 If a self connected object is an instance of LAV25,then the length of the self connected object is 6.39 meter(s) and the width of the self connected object is 2.5 meter(s) and the height of the self connected object is 2.69 meter(s) and 12802.8 kilogram(s) is a weight of the self connected object and 660.1 kilometer(s) is an effective range of the self connected object No TPTP formula. May not be expressible in strict first order. WMD.kif 1098-1103 If an object is an instance of yellow fever virus,then there exists a real number such that the width of the object is the real number meter(s) and the real number is equal to 0.00000002 No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4373-4377 If an object is an instance of full-sized bed,then the width of the object is 1.35 meter(s) and the length of the object is 2.0 meter(s) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4316-4320 If an object is an instance of king-sized bed,then the width of the object is 1.9 meter(s) and the length of the object is 2.0 meter(s) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4347-4351 If an object is an instance of queen-sized bed,then the width of the object is 1.5 meter(s) and the length of the object is 2.0 meter(s) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4399-4403 If an object is an instance of twin-sized bed,then the width of the object is 1.0 meter(s) and the length of the object is 2.0 meter(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 829-834 If an object is an instance of uniform perimeter area,then there exists an entity such that the entity is an instance of length measure and the width of the object is the entity No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 121-138 If a vehicle is maximum payload height width a real number an unit of measure(s) for another real number another unit of measure(s),then there don't exist a process and a self connected object such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the width of the self connected object is a third real number the third real numberU(s) and the height of the self connected object is a fourth real number the fourth real numberU(s) and the third real numberU is equal to the other unit of measure and the fourth real numberU is equal to the unit of measure and the third real number is greater than the other real number and the fourth real number is greater than the real number 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