weight - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2606-2607
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6866-6867
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6861-6861	The number 1 argument of weight is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6862-6862	The number 2 argument of weight is an instance of mass measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6863-6863	weight is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6864-6864	weight is a subrelation of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2623-2623
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2622-2622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2621-2621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62623-62623	"重量" is the printable form of weight in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62622-62622	"重量" is the printable form of weight in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62621-62621	"weight" is the printable form of weight in english language

antecedent

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.	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.	MilitaryDevices.kif 855-858	If a self connected object is an instance of BG m71TO w, then 18.9 kilogram(s) is a weight of the self connected object
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 707-710	If a self connected object is an instance of dragon weapon, then 33.9 pound mass(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 321-324	If a self connected object is an instance of GAU12U, then 122 kilogram(s) is a weight 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 766-769	If a self connected object is an instance of javelin weapon, then 49.5 pound mass(s) is a weight 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.	MilitaryDevices.kif 398-401	If a self connected object is an instance of m240, then 12.5 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 294-297	If a self connected object is an instance of m242, then 110 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 502-505	If a self connected object is an instance of m2 browning, then 38 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 579-582	If a self connected object is an instance of M3M, then 35.8 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 438-441	If a self connected object is an instance of m60, then 10.5 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 641-644	If a self connected object is an instance of Mk19, then 33 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 833-836	If a self connected object is an instance of SMAW bunker buster, then 7.54 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 536-539	If a self connected object is an instance of XM218, then 27 kilogram(s) is a weight of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 92-104	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle, 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 another real number the other real numberU(s) is a weight of the self connected object and the other real numberU is equal to the unit of measure and the other 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: