Millimeter - Sigma Knowledge base Browser

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

(documentation Millimeter ChineseLanguage "这是米的约数，符号：mm。1毫米是1000分之一米。")	chinese_format.kif 2515-2515
(documentation Millimeter EnglishLanguage "Submultiple of Meter. Symbol: mm. A millimeter is the 1000th part of a meter.")	Merge.kif 6486-6487
(instance Millimeter UnitOfLength)	Merge.kif 6489-6489	Millimeter is an instance of UnitOfLength

appearance as argument number 2

(termFormat ChineseLanguage Millimeter "毫米")	domainEnglishFormat.kif 37726-37726
(termFormat ChineseTraditionalLanguage Millimeter "毫米")	domainEnglishFormat.kif 37725-37725
(termFormat EnglishLanguage Millimeter "millimeter")	domainEnglishFormat.kif 37724-37724

antecedent

(=> (and (instance ?Particle Boulder) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (greaterThan ?Size 256))	Geography.kif 6649-6654	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
(=> (and (instance ?Particle Cobble) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 256 ?Size) (greaterThan ?Size 64)))	Geography.kif 6626-6633	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 is greater than the real number and the real number is greater than 64
(=> (and (instance ?Particle Pebble) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 64 ?Size) (greaterThan ?Size 2)))	Geography.kif 6603-6610	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 is greater than the real number and the real number is greater than 2
(=> (and (part ?Particle ?Soil) (instance ?Soil Clay) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 0.004 ?Size) (greaterThan ?Size 0.001)))	Mid-level-ontology.kif 15702-15710	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
(=> (and (part ?Particle ?Soil) (instance ?Soil Sand) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 2 ?Size) (greaterThan ?Size 0.062)))	Geography.kif 4154-4162	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 is greater than the real number and the real number is greater than 0.062
(=> (and (part ?Particle ?Soil) (instance ?Soil Silt) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 0.062 ?Size) (greaterThan ?Size 0.004)))	Geography.kif 4177-4185	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

(=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter)))	Media.kif 1247-1252	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)
(=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter)))	Media.kif 1234-1239	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)
(=> (instance ?DRIZZLE Drizzling) (exists (?CLTN ?R ?SIZE) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?DRIZZLE ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 1529-1541	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
(=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10) (greaterThan 50 ?NUM)))))	Weather.kif 720-734	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 and 50 is greater than the other entity holds during the time of existence of the physical
(=> (instance ?RAIN Raining) (exists (?CLTN ?R) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?R (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?R (MeasureFn 9 Millimeter)))))	Weather.kif 669-681	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 millimeter(s)

statement

(caliber GAU12U (MeasureFn 25 Millimeter))	MilitaryDevices.kif 316-317	25 Millimeter(s) is a caliber of GAU12U
(caliber M240 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 393-394	7.62 Millimeter(s) is a caliber of m240
(caliber M242 (MeasureFn 25 Millimeter))	MilitaryDevices.kif 282-283	25 Millimeter(s) is a caliber of m242
(caliber M2Browning (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 497-498	12.7 Millimeter(s) is a caliber of m2 browning
(caliber M3M (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 574-575	12.7 Millimeter(s) is a caliber of M3M
(caliber M60 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 433-434	7.62 Millimeter(s) is a caliber of m60
(caliber MK19 (MeasureFn 40 Millimeter))	MilitaryDevices.kif 636-637	40 Millimeter(s) is a caliber of Mk19
(caliber SMAWBunkerBuster (MeasureFn 83 Millimeter))	MilitaryDevices.kif 828-829	83 Millimeter(s) is a caliber of SMAW bunker buster
(caliber XM218 (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 531-532	12.7 Millimeter(s) is a caliber of XM218
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6491-6494	A real number millimeter(s) is equal to the real number and 0.001 meter(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