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

appearance as argument number 2

(termFormat ChineseLanguage Millimeter "毫米")	domainEnglishFormat.kif 37831-37831
(termFormat ChineseTraditionalLanguage Millimeter "毫米")	domainEnglishFormat.kif 37830-37830
(termFormat EnglishLanguage Millimeter "millimeter")	domainEnglishFormat.kif 37829-37829

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 1575-1582	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 1525-1532	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 7379-7384	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 7356-7363	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 7333-7340	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 19061-19069	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 4444-4452	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 4489-4497	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)
(=> (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 9964-9987	If a real number pound force(s) is equal to 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 2785-2797	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 6780-6783	A real number millimeter(s) is equal to the real number and 0.001 meter(s)
(equal SquareMillimeter (SquareUnitFn Millimeter))	Geography.kif 4042-4042	SquareMillimeter is equal to 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