height - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2642-2642
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7586-7587
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1358-1359
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7583-7583	The number 1 argument of height is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7584-7584	The number 2 argument of height is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7582-7582	height is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7581-7581	height 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 619-619
No TPTP formula. May not be expressible in strict first order.	english_format.kif 622-622
No TPTP formula. May not be expressible in strict first order.	french_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 127-127
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2108-2108
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 326-326
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 812-812
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 167-167
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 396-396
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 415-415
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 260-260
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27889-27889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27888-27888
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 240-240
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 261-261

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9899-9904	If the height of a self connected object is a length measure and the top of the self connected object is another self connected object and the bottom of the self connected object is a third self connected object, then 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.	Mid-level-ontology.kif 204-210	If a self connected object is an instance of human adult and the height of the self connected object is a real number inch(s), then the real number is not greater than 120.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4471-4475	If a self connected object is an instance of dune and the height of the self connected object is a real number centimeter(s), then the real number is greater than 7.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6392-6401	If a self connected object is an instance of botanical tree and another self connected object is an instance of shrub and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4276-4286	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object 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 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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33029-33034	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 self connected object is an element of the set, then the height of the self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33036-33041	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 self connected object is an instance of the class, then the height of the self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3245-3258	If flat is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure 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 other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3286-3299	If level shape is an attribute of a self connected object, then there don't exist another self connected object, a third self connected object,, , a fourth self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the fourth self connected object and the other self connected object is a part of the fourth self connected object and the third self connected object is a part of the fourth self connected object and the unit of measure is an instance of unit of length and the height of the other self connected object is the real number the unit of measure(s) and the height of the third self connected object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14704-14713	If the maximum expected height of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberEIGHT such that the entity is an instance of a kind of object and the height of the entity is the real numberEIGHT the unit of measure(s) and the real numberEIGHT 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 14688-14696	If the minimum expected height of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberEIGHT such that the entity is an instance of a kind of object and the height of the entity is the real numberEIGHT the unit of measure(s) and the real numberEIGHT is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6415-6434	If a physical is an instance of planer, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
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 3000-3003	If a self connected object is an instance of forty foot half height container, then the height of the self connected object is 53 inch(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2990-2993	If a self connected object is an instance of forty foot high cube container, then the height of the self connected object is 114 inch(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2972-2975	If a self connected object is an instance of forty foot standard container, then the height of the self connected object is 102 inch(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 2924-2927	If a self connected object is an instance of twenty foot half height container, then the height of the self connected object is 53 inch(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2888-2891	If a self connected object is an instance of twenty foot heavy duty container, then the height of the self connected object is 102 inch(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2906-2909	If a self connected object is an instance of twenty foot high cube container, then the height of the self connected object is 114 inch(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: