Kilogram - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2604-2605
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7273-7274
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1317-1318
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6650-6650
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7141-7141
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7142-7142
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7143-7143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7144-7144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7147-7147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7276-7276	Kilogram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7277-7277	Kilogram is an instance of unit of mass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32551-32551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32550-32550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32549-32549

consequent

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 1882-1887	If a passenger vehicle is an instance of C h46 d, then 25 is a person transport capability of the passenger vehicle and 3131.0 kilogram(s) is a maximum payload capacity of the passenger vehicle
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 1812-1817	If a passenger vehicle is an instance of C h53 e, then 55 is a person transport capability of the passenger vehicle and 14515.0 kilogram(s) is a maximum payload capacity of the passenger vehicle
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 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

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7279-7282

A real number kilogram(s) is equal to the real number and 1000 gram(s)

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: