width - Sigma Knowledge base Browser

appearance as argument number 1

(documentation width ChineseLanguage "这是一个 BinaryPredicate，它是用来表示一个 Object 从一边到另一边最大的距离。")	chinese_format.kif 2640-2641
(documentation width EnglishLanguage "BinaryPredicate that is used to state the measure of an Object from side to side at its widest span.")	Merge.kif 7618-7619
(documentation width JapaneseLanguage "BinaryPredicate は、最も広いスパンで Object のメジャーを左右に述えるために使用される。")	japanese_format.kif 1356-1357
(domain width 1 Physical)	Merge.kif 7615-7615	The number 1 argument of width is an instance of physical
(domain width 2 LengthMeasure)	Merge.kif 7616-7616	The number 2 argument of width is an instance of length measure
(instance width BinaryPredicate)	Merge.kif 7613-7613	width is an instance of binary predicate
(instance width SingleValuedRelation)	Merge.kif 7612-7612	width is an instance of single valued relation
(subrelation width linearExtent)	Merge.kif 7614-7614	width is a subrelation of linear extent

appearance as argument number 2

(format ChineseLanguage width "%1 的 width %n 是 %2")	chinese_format.kif 615-615
(format EnglishLanguage width "the width of %1 is %n %2")	english_format.kif 618-618
(format FrenchLanguage width "la largeur de %1 est %n %2")	french_format.kif 372-372
(format ItalianLanguage width "l' ampiezza di %1 è %n %2")	relations-it.txt 316-316
(format JapaneseLanguage width "%1 の width は %2 では %n")	japanese_format.kif 2106-2106
(format PortugueseLanguage width "a largura de %1 e' %n %2")	portuguese_format.kif 324-324
(format de width "die breite von %1 ist %2 %n{nicht}")	relations-de.txt 806-806
(format hi width "%1 kii chaudaaii %2 %n hai")	relations-hindi.txt 350-350
(format ro width "width%t{lãþimea} lui %1 %n{nu} este %2")	relations-ro.kif 394-394
(format sv width "bredden av %1 är %n{inte} %2")	relations-sv.txt 413-413
(format tg width "ang kalaparan ng %1 %n ay %2")	relations-tg.txt 508-508
(termFormat ChineseLanguage width "宽度")	chinese_format.kif 616-616
(termFormat ChineseTraditionalLanguage width "寬度")	domainEnglishFormat.kif 63067-63067
(termFormat EnglishLanguage width "width")	domainEnglishFormat.kif 63066-63066
(termFormat de width "breite")	terms-de.txt 238-238

antecedent

(=> (and (instance ?AREA (MaritimeClaimsTerritorialSeaFn ?PLACE)) (width ?AREA (MeasureFn ?WIDTH ?UNIT)) (distance ?OBJ ?PLACE (MeasureFn ?DISTANCE ?UNIT)) (lessThanOrEqualTo ?DISTANCE ?WIDTH)) (located ?OBJ ?AREA))	Geography.kif 2349-2355	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
(=> (and (instance ?BOTTLE Bottle) (bottom ?BOTTOM ?BOTTLE) (top ?TOP ?BOTTLE) (instance ?U UnitOfLength) (width ?BOTTOM (MeasureFn ?WIDTH1 ?U)) (width ?TOP (MeasureFn ?WIDTH2 ?U))) (lessThan ?WIDTH2 ?WIDTH1))	Mid-level-ontology.kif 5143-5153	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 an unit of measure is an instance of unit of length and the width of the other self connected object is a real number the unit of measure(s) and the width of the third self connected object is another real number the unit of measure(s), then the other real number is less than the real number
(=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (capability (KappaFn ?SHOOTING (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ))) instrument ?GUN))	MilitaryDevices.kif 390-402	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and an object is an instance of a kind of gun and the width of the physical is the length measure1 and equal the length measure and the length measure1, then the object is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (hasPurpose ?GUN (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ) (instrument ?SHOOTING ?GUN)))))	MilitaryDevices.kif 407-419	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and another physical is an instance of a kind of gun and the width of the physical is the length measure1 and equal the length measure and the length measure1, then the other physical has the purpose there exists an entity such that the entity is an instance of shooting and the physical is a patient of the entity and the other physical is an instrument for the entity
(=> (and (instance ?S Spaghetti) (instance ?L Linguine) (instance ?U UnitOfLength) (width ?S (MeasureFn ?W1 ?U)) (width ?L (MeasureFn ?W2 ?U))) (greaterThan ?W2 ?W1))	Food.kif 2639-2648	If a physical is an instance of spaghetti and another physical is an instance of linguine and an unit of measure is an instance of unit of length and the width of the physical is a real number the unit of measure(s) and the width of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
(=> (and (instance ?SHOT Shooting) (instrument ?SHOT ?GUN) (patient ?SHOT ?PROJ) (width ?PROJ ?LM1) (instance ?GUN ?GUNCLASS) (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM)) (equal ?LM ?LM1))	MilitaryDevices.kif 376-385	If a process is an instance of shooting and an object is an instrument for the process and a physical is a patient of the process and the width of the physical is a length measure and the object is an instance of the objectCLASS and the physical is an instance of projectile and another length measure is a caliber of the objectCLASS, then equal the other length measure and the length measure
(=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V))	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 equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and 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
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0.0)) (not (located ?OBJ ?ZONE)))	Geography.kif 2338-2347	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.0, then the object is not located at the other object
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0.0)) (located ?OBJ ?ZONE))	Geography.kif 2327-2336	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.0, then the object is located at the other object
(=> (width ?OBJECT ?WIDTH) (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH))))	Merge.kif 9921-9927	If the width of a self connected object is a length measure, then 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

consequent

(=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter)))	Media.kif 1245-1250	If an object is an instance of optical disc and mini size disc is an attribute of the object, then the width of the object is 80 millimeter(s)
(=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter)))	Media.kif 1232-1237	If an object is an instance of optical disc and standard size disc is an attribute of the object, then the width of the object is 120 millimeter(s)
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 33001-33006	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the width of the physical is the length measure
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 32994-32999	If members of a class have the measure a length measure in terms of width and the class is an instance of class and a physical is an instance of the class, then the width of the physical is the length measure
(=> (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH)) (width ?OBJECT ?WIDTH))	Merge.kif 9929-9934	If a side of a self connected object is another self connected object and a side of the self connected object is a third self connected object and the distance between the other self connected object and the third self connected object is a length measure, then the width of the self connected object is the length measure
(=> (defaultMaximumWidth ?OBJECT (MeasureFn ?W ?U)) (modalAttribute (exists (?INST ?WIDTH) (and (instance ?INST ?OBJECT) (width ?INST (MeasureFn ?WIDTH ?U)) (greaterThan ?WIDTH ?W))) Unlikely))	Mid-level-ontology.kif 14727-14736	If the maximum expected width of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberIDTH such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is greater than the real number has the modal force of unlikely
(=> (defaultMinimumWidth ?OBJECT (MeasureFn ?W ?U)) (modalAttribute (exists (?INST ?WIDTH) (and (instance ?INST ?OBJECT) (width ?INST (MeasureFn ?WIDTH ?U)) (lessThan ?WIDTH ?W))) Unlikely))	Mid-level-ontology.kif 14711-14719	If the minimum expected width of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberIDTH such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is less than the real number has the modal force of unlikely
(=> (instance ?AAV AAV) (and (length ?AAV (MeasureFn 7.94 Meter)) (width ?AAV (MeasureFn 3.27 Meter)) (weight ?AAV (MeasureFn 22.8 TonMass)) (height ?AAV (MeasureFn 3.26 Meter)) (effectiveRange ?AAV (MeasureFn 480.0 Kilometer))))	MilitaryDevices.kif 1819-1831	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.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?AGM114 AGM114) (and (length ?AGM114 (MeasureFn 1.63 Meter)) (width ?AGM114 (MeasureFn 0.71 Meter)) (height ?AGM114 (MeasureFn 0.71 Meter)) (weight ?AGM114 (MeasureFn 45.0 Kilogram)) (effectiveRange ?AGM114 (MeasureFn 8.0 Kilometer))))	MilitaryDevices.kif 1392-1404	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.0 kilogram(s) is a weight of the self connected object and 8.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?AGM65 AGM65) (and (length ?AGM65 (MeasureFn 2.55 Meter)) (width ?AGM65 (MeasureFn 0.7 Meter)) (height ?AGM65 (MeasureFn 0.7 Meter)) (weight ?AGM65 (MeasureFn 302.0 Kilogram)) (effectiveRange ?AGM65 (MeasureFn 27.0 Kilometer))))	MilitaryDevices.kif 1312-1324	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.0 kilogram(s) is a weight of the self connected object and 27.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?AH1 AH1) (and (length ?AH1 (MeasureFn 17.68 Meter)) (width ?AH1 (MeasureFn 14.63 Meter)) (height ?AH1 (MeasureFn 4.44 Meter)) (weight ?AH1 (MeasureFn 4634.0 Kilogram)) (effectiveRange ?AH1 (MeasureFn 587.0 Kilometer))))	MilitaryDevices.kif 2057-2069	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.0 kilogram(s) is a weight of the self connected object and 587.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?AIM9 AIM9) (and (length ?AIM9 (MeasureFn 2.85 Meter)) (width ?AIM9 (MeasureFn 0.63 Meter)) (height ?AIM9 (MeasureFn 0.63 Meter)) (weight ?AIM9 (MeasureFn 91.0 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18.0 Kilometer))))	MilitaryDevices.kif 1346-1358	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.0 kilogram(s) is a weight of the self connected object and 18.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002))))	WMD.kif 205-211	If a physical is an instance of bacterium, then there exists a real number such that the width of the physical 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
(=> (instance ?CH46D CH46D) (and (length ?CH46D (MeasureFn 25.72 Meter)) (width ?CH46D (MeasureFn 15.54 Meter)) (height ?CH46D (MeasureFn 5.1 Meter)) (weight ?CH46D (MeasureFn 7047.0 Kilogram)) (effectiveRange ?CH46D (MeasureFn 676.0 Kilometer))))	MilitaryDevices.kif 2017-2029	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.0 kilogram(s) is a weight of the self connected object and 676.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?CH53E CH53E) (and (length ?CH53E (MeasureFn 30.2 Meter)) (width ?CH53E (MeasureFn 24.1 Meter)) (height ?CH53E (MeasureFn 8.46 Meter)) (weight ?CH53E (MeasureFn 15071.0 Kilogram)) (effectiveRange ?CH53E (MeasureFn 2000.0 Kilometer))))	MilitaryDevices.kif 1945-1957	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.0 kilogram(s) is a weight of the self connected object and 2000.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?Harrier Harrier2) (and (length ?Harrier (MeasureFn 14.1 Meter)) (width ?Harrier (MeasureFn 9.2 Meter)) (height ?Harrier (MeasureFn 3.5 Meter)) (weight ?Harrier (MeasureFn 5700.0 Kilogram)) (effectiveRange ?Harrier (MeasureFn 1000.0 Kilometer))))	MilitaryDevices.kif 1901-1913	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.0 kilogram(s) is a weight of the self connected object and 1000.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?LAV LAV25) (and (length ?LAV (MeasureFn 6.39 Meter)) (width ?LAV (MeasureFn 2.5 Meter)) (height ?LAV (MeasureFn 2.69 Meter)) (weight ?LAV (MeasureFn 12802.8 Kilogram)) (effectiveRange ?LAV (MeasureFn 660.1 Kilometer))))	MilitaryDevices.kif 1699-1711	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
(=> (instance ?T FiftythreeFtContainer) (and (length ?T (MeasureFn 53 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3051-3059	If a self connected object is an instance of fifty three foot container, then the length of the self connected object is 53 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?T FortyFtContainer) (and (length ?T (MeasureFn 40 FootLength)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 2941-2947	If a physical is an instance of forty foot container, then the length of the physical is 40 foot length(s) and the width of the physical is 8 foot length(s)
(=> (instance ?T FortyeightFtContainer) (and (length ?T (MeasureFn 48 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3028-3036	If a self connected object is an instance of forty eight foot container, then the length of the self connected object is 48 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?T FortyfiveFtContainer) (and (length ?T (MeasureFn 45 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3009-3017	If a self connected object is an instance of forty five foot container, then the length of the self connected object is 45 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?T TwentyFtContainer) (and (length ?T (MeasureFn 20 FootLength)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 2803-2809	If a physical is an instance of twenty foot container, then the length of the physical is 20 foot length(s) and the width of the physical is 8 foot length(s)
(=> (instance ?VIRUS YellowFeverVirus) (exists (?NUMBER) (and (width ?VIRUS (MeasureFn ?NUMBER Meter)) (equal ?NUMBER 0.00000002))))	WMD.kif 1179-1184	If a physical is an instance of yellow fever virus, then there exists a real number such that the width of the physical is the real number meter(s) and equal the real number and 0.00000002
(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter))))	Mid-level-ontology.kif 4284-4288	If a physical is an instance of full-sized bed, then the width of the physical is 1.35 meter(s) and the length of the physical is 2.0 meter(s)
(=> (instance ?X KingBed) (and (width ?X (MeasureFn 1.9 Meter)) (length ?X (MeasureFn 2.0 Meter))))	Mid-level-ontology.kif 4227-4231	If a physical is an instance of king-sized bed, then the width of the physical is 1.9 meter(s) and the length of the physical is 2.0 meter(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: