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 6834-6835
(documentation Millimeter JapaneseLanguage "メートルの約数。シンボル:ミリメートル。ミリメートルは1メートルの1000分の1である。")	japanese_format.kif 1214-1215
(instance Millimeter UnitOfLength)	Merge.kif 6837-6837	Millimeter is an instance of unit of length

appearance as argument number 2

(termFormat ChineseLanguage Millimeter "毫米")	domainEnglishFormat.kif 37813-37813
(termFormat ChineseTraditionalLanguage Millimeter "毫米")	domainEnglishFormat.kif 37812-37812
(termFormat EnglishLanguage Millimeter "millimeter")	domainEnglishFormat.kif 37811-37811

antecedent

(=> (and (instance ?C Cappuccino) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (approximateValue ?L 20.0)))	Food.kif 1286-1302	If an object is an instance of cappuccino and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the approximate value of the third real number is 20.0
(=> (and (instance ?C FlatWhite) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (part ?B ?E) (top ?B ?M) (instance ?B Bubble) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (greaterThanOrEqualTo ?L 1.0) (lessThanOrEqualTo ?L 20.0)))	Food.kif 1368-1386	If an object is an instance of flat white and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
(=> (and (instance ?C Latte) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.21) (approximateValue ?L 12.0)))	Food.kif 1400-1416	If an object is an instance of latte and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.21 and the approximate value of the third real number is 12.0
(=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7))	Anatomy.kif 1609-1616	If a circle is an instance of auditory canal and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle is a real number millimeter(s), then the approximate value of the real number is 0.7
(=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 3.0))	Anatomy.kif 1559-1566	If a circle is an instance of Eustachian tube and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle is a real number millimeter(s), then the approximate value of the real number is 3.0
(=> (and (instance ?Particle Boulder) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (greaterThan ?Size 256.0))	Geography.kif 8960-8965	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
(=> (and (instance ?Particle Cobble) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 256.0 ?Size) (greaterThan ?Size 64.0)))	Geography.kif 8937-8944	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
(=> (and (instance ?Particle Pebble) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 64.0 ?Size) (greaterThan ?Size 2.0)))	Geography.kif 8914-8921	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
(=> (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 19529-19537	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.0 ?Size) (greaterThan ?Size 0.062)))	Geography.kif 5927-5935	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
(=> (and (part ?Particle ?Soil) (instance ?Soil Silt) (approximateDiameter ?Particle (MeasureFn ?Size Millimeter))) (and (greaterThan 0.062 ?Size) (greaterThan ?Size 0.004)))	Geography.kif 5972-5980	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 ?A CoffeeGrindAttribute) (attribute ?C ?A) (instance ?C CoffeeGrind)) (exists (?L ?X) (and (grainSize ?C ?L) (instance ?X LengthMeasure) (equal ?X (MeasureFn ?L Millimeter)))))	Food.kif 1064-1074	If an attribute is an instance of coffee grind attribute and the attribute is an attribute of an object and the object is an instance of coffee grind, then there exist a real number and a time position such that the real number is the diameter in UnitOFLength of the object and the time position is an instance of length measure and equal the time position and the real number millimeter(s)
(=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter)))	Media.kif 1245-1250	If an object is an instance of optical disc and mini size disc 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 1232-1237	If an object is an instance of optical disc and standard size disc is an attribute of the object, then the width of the object is 120 millimeter(s)
(=> (equal (MeasureFn ?X PoundForce) (JankaHardnessFn ?CLASS)) (modalAttribute (exists (?T ?W ?P ?B ?H ?S) (and (instance ?T ?CLASS) (part ?W ?T) (instance ?W Wood) (instance ?P Pushing) (destination ?P ?W) (instance ?B Ball) (material ?B Steel) (patient ?P ?B) (sphereRadius ?B (MeasureFn 5.64 Millimeter)) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?W) (surface ?S ?W) (distance ?S ?H (MeasureFn 5.64 Millimeter)) (measure ?P (MeasureFn ?X PoundForce)))) Likely))	Mid-level-ontology.kif 10392-10415	If equal a real number pound force(s) and The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
(=> (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 4128-4140	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 ?NUM) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10.0) (greaterThan 50.0 ?NUM)))))	Weather.kif 1802-1816	If a physical is an instance of heavy raining, then there exist an entity and another entity such that the entity is an instance of region and the physical is located at the entity and the rate of rain in the entity during the time of existence of the physical is the per of the other 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
(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter)))))	Weather.kif 1750-1763	If a transfer is an instance of raining, then there exist a collection, a physical and a kind of object such that the collection is an instance of collection and the physical is an instance of water and the physical is an instance of liquid drop and the physical is an instance of a kind of object and the physical 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)
(=> (instance ?SHOT FirearmShot) (exists (?C ?P ?CLASS ?X) (and (instance ?C Collection) (member ?P ?C) (instance ?P ?CLASS) (subclass ?CLASS SphericalObject) (approximateDiameter ?P (MeasureFn ?X Millimeter)) (modalAttribute (and (material ?CLASS Lead) (lessThan ?X 10)) Likely))))	Mid-level-ontology.kif 1150-1163	If an entity is an instance of firearm shot, then there exist a collection, a self connected object,, , the collectionLASS and a real number such that the collection is an instance of collection and the self connected object is a member of the collection and the self connected object is an instance of the collectionLASS and the collectionLASS is a subclass of spherical object and the approximate diameter of the self connected object is the real number millimeter(s) and the statement lead is made of the collectionLASS and the real number is less than 10 has the modal force of likely

statement

(caliber GAU12U (MeasureFn 25.0 Millimeter))	MilitaryDevices.kif 473-474	25.0 Millimeter(s) is a caliber of GAU12U
(caliber M240 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 550-551	7.62 Millimeter(s) is a caliber of m240
(caliber M242 (MeasureFn 25.0 Millimeter))	MilitaryDevices.kif 439-440	25.0 Millimeter(s) is a caliber of m242
(caliber M2Browning (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 654-655	12.7 Millimeter(s) is a caliber of m2 browning
(caliber M3M (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 731-732	12.7 Millimeter(s) is a caliber of M3M
(caliber M60 (MeasureFn 7.62 Millimeter))	MilitaryDevices.kif 590-591	7.62 Millimeter(s) is a caliber of m60
(caliber MK19 (MeasureFn 40.0 Millimeter))	MilitaryDevices.kif 793-794	40.0 Millimeter(s) is a caliber of Mk19
(caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter))	MilitaryDevices.kif 985-986	83.0 Millimeter(s) is a caliber of SMAW bunker buster
(caliber XM218 (MeasureFn 12.7 Millimeter))	MilitaryDevices.kif 688-689	12.7 Millimeter(s) is a caliber of XM218
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6839-6842	equal a real number millimeter(s) and the real number and 0.001 meter(s)
(equal SquareMillimeter (SquareUnitFn Millimeter))	Geography.kif 5525-5525	equal square millimeter and the square unit of millimeter

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