TreeView Knowledge Base Browser - Millimeter

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Millimeter

Millimeter(millimeter)

millimeter, millimetre, mm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2515-2515
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6688-6689
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6691-6691	Millimeter is an instance of UnitOfLength

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37794-37794
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37793-37793
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37792-37792

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6999-7004	If a self connected object is an instance of boulder and the approximate diameter of the self connected object is a real number millimeter(s), then the real number is greater than 256.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6976-6983	If a self connected object is an instance of cobble and the approximate diameter of the self connected object is a real number millimeter(s), then 256.0 is greater than the real number and the real number is greater than 64.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6953-6960	If a self connected object is an instance of pebble and the approximate diameter of the self connected object is a real number millimeter(s), then 64.0 is greater than the real number and the real number is greater than 2.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17364-17372	If a self connected object is a part of an object and the object is an instance of clay and the approximate diameter of the self connected object is a real number millimeter(s), then 0.004 is greater than the real number and the real number is greater than 0.001
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4297-4305	If a self connected object is a part of an object and the object is an instance of sand and the approximate diameter of the self connected object is a real number millimeter(s), then 2.0 is greater than the real number and the real number is greater than 0.062
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4320-4328	If a self connected object is a part of an object and the object is an instance of silt and the approximate diameter of the self connected object is a real number millimeter(s), then 0.062 is greater than the real number and the real number is greater than 0.004

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1243-1248	If an object is an instance of OpticalDisc and MiniSizeDisc 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 1230-1235	If an object is an instance of OpticalDisc and StandardSizeDisc 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.	Weather.kif 2802-2814	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1108-1122	If a physical is an instance of heavy raining, then there exists an entity such that the entity is an instance of region and the physical is located at 2 and the rate of rain in the entity during the time of existence of the physical is the per of another entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10.0 and 50.0 is greater than the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1069	If a transfer is an instance of raining, then there exist a collection and a kind of object such that the collection is an instance of collection and a kind of object is an instance of water and the kind of object is an instance of liquid drop and the kind of object is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9.0 millimeter(s)

statement

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 316-317	25.0 Millimeter(s) is a caliber of GAU12U
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 393-394	7.62 Millimeter(s) is a caliber of m240
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 282-283	25.0 Millimeter(s) is a caliber of m242
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 497-498	12.7 Millimeter(s) is a caliber of m2 browning
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 574-575	12.7 Millimeter(s) is a caliber of M3M
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 433-434	7.62 Millimeter(s) is a caliber of m60
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 636-637	40.0 Millimeter(s) is a caliber of Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 828-829	83.0 Millimeter(s) is a caliber of SMAW bunker buster
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 531-532	12.7 Millimeter(s) is a caliber of XM218
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6693-6696	A real number millimeter(s) is equal to the real number and 0.001 meter(s)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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