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 7295-7296
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1319-1320
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7290-7290	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 7291-7291	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 7292-7292	weight is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7293-7293	weight is a subrelation of measure

appearance as argument number 2

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 2620-2620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62702-62702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62701-62701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62700-62700

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2463-2478	If a self connected object is an instance of cocoa liquor and 100.0 gram(s) is a weight of the self connected object and another self connected object is an instance of cocoa solid and the other self connected object is a part of the self connected object and a real number gram(s) is a weight of the other self connected object and a third self connected object is an instance of cocoa butter and the third self connected object is a part of the self connected object and another real number gram(s) is a weight of the third self connected object, then the approximate value of the real number is 50.0 and the approximate value of the other real number is 50.0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2826-2841	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
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.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
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.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 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.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 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.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 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.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 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.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 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.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 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.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 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.0 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.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 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.0 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.0 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.0 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.0 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, a self connected object,, , another real number and the other 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 other 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: