width - Sigma Knowledge base Browser

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 7593-7594
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1356-1357
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7590-7590	The number 1 argument of width is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7591-7591	The number 2 argument of width is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7588-7588	width is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7587-7587	width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7589-7589	width is a subrelation of linear extent

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 618-618
No TPTP formula. May not be expressible in strict first order.	french_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 316-316
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2106-2106
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 806-806
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 350-350
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 394-394
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 508-508
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 63068-63068
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63067-63067
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 238-238

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1039-1045	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 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
No TPTP formula. May not be expressible in strict first order.	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
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 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1028-1037	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1017-1026	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9899-9905	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

No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33015-33020	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33008-33013	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9907-9912	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14737-14746	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14721-14729	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3052-3060	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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2948	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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3029-3037	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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3010-3018	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)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2804-2810	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)
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4258-4262	If a physical is an instance of queen-sized bed, then the width of the physical is 1.5 meter(s) and the length of the physical is 2.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4310-4314	If a physical is an instance of twin-sized bed, then the width of the physical is 1.0 meter(s) and the length of the physical is 2.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 995-1000	If a physical is an instance of uniform perimeter area, then there exists a length measure such that the length measure is an instance of length measure and the width of the physical is the length measure
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, a self connected object,, , a third real number,, , the third real numberU,, , a fourth real number and the fourth real numberU 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 the third real number the third real numberU(s) and the height of the self connected object is the fourth real number the fourth real numberU(s) and equal the third real numberU and the other unit of measure and equal the fourth real numberU and 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

KB Term:			Term intersection

English Word: