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

appearance as argument number 2

(termFormat ChineseLanguage Millimeter "毫米")	domainEnglishFormat.kif 37805-37805
(termFormat ChineseTraditionalLanguage Millimeter "毫米")	domainEnglishFormat.kif 37804-37804
(termFormat EnglishLanguage Millimeter "millimeter")	domainEnglishFormat.kif 37803-37803

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 1285-1301	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 1367-1385	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 1399-1415	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 1576-1583	If an object is an instance of auditory canal and the object is a part of another object and healthy is an attribute of the other object and the diameter of the object 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 1526-1533	If an object is an instance of Eustachian tube and the object is a part of another object and healthy is an attribute of the other object and the diameter of the object 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 7311-7316	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 7288-7295	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 7265-7272	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 17999-18007	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 4375-4383	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 4420-4428	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 1063-1073	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 physical quantity such that the real number is the diameter in UnitOFLength of the object and the physical quantity is an instance of length measure and the physical quantity is equal to the real number millimeter(s)
(=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter)))	Media.kif 1243-1248	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 1230-1235	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)
(=> (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 2786-2798	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 1093-1107	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 1041-1054	If an entity is an instance of raining, then there exist another entity, a third entity and a class such that the other entity is an instance of collection and the third entity is an instance of water and the third entity is an instance of liquid drop and the third entity is an instance of the class

statement

(caliber GAU12U (MeasureFn 25.0 Millimeter))	MilitaryDevices.kif 316-317	25.0 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.0 Millimeter))	MilitaryDevices.kif 282-283	25.0 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.0 Millimeter))	MilitaryDevices.kif 636-637	40.0 Millimeter(s) is a caliber of Mk19
(caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter))	MilitaryDevices.kif 828-829	83.0 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 6790-6793	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