diameter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - diameter

diameter

appearance as argument number 1

(documentation diameter ChineseLanguage "(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。")	chinese_format.kif 2653-2654
(documentation diameter EnglishLanguage "(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.")	Merge.kif 7704-7705
(documentation diameter JapaneseLanguage "(diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。")	japanese_format.kif 1370-1371
(domain diameter 1 Circle)	Merge.kif 7701-7701	The number 1 argument of diameter is an instance of circle
(domain diameter 2 LengthMeasure)	Merge.kif 7702-7702	The number 2 argument of diameter is an instance of length measure
(instance diameter BinaryPredicate)	Merge.kif 7698-7698	diameter is an instance of binary predicate
(instance diameter SingleValuedRelation)	Merge.kif 7699-7699	diameter is an instance of single valued relation
(instance diameter TotalValuedRelation)	Merge.kif 7700-7700	diameter is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage diameter "%1 的 diameter %n 是 %2")	chinese_format.kif 617-617
(format EnglishLanguage diameter "the diameter of %1 is %n %2")	english_format.kif 620-620
(format FrenchLanguage diameter "le diam�tre de %1 est %n %2")	french_format.kif 373-373
(format ItalianLanguage diameter "il diametro di %1 è %n %2")	relations-it.txt 73-73
(format JapaneseLanguage diameter "%1 の diameter は %2 では %n")	japanese_format.kif 2107-2107
(format PortugueseLanguage diameter "o diametro de %1 e' %n %2")	portuguese_format.kif 325-325
(format de diameter "der durchmesser von %1 ist %2 %n{nicht}")	relations-de.txt 809-809
(format hi diameter "%1 kaa vyaasa %2 %n hai")	relations-hindi.txt 114-114
(format ro diameter "diameter%t{diametrul} lui %1 %n{nu} este %2")	relations-ro.kif 395-395
(format sv diameter "diametern på %1 är %n{inte} %2")	relations-sv.txt 414-414
(format tg diameter "ang bantod ng %1 %n ay %2")	relations-cb.txt 107-107
(relatedInternalConcept arcLength diameter)	Mid-level-ontology.kif 5293-5293	arc length is internally related to diameter
(termFormat ChineseLanguage diameter "圆周")	chinese_format.kif 618-618	arc length is internally related to diameter
(termFormat ChineseLanguage diameter "直径")	domainEnglishFormat.kif 19443-19443	arc length is internally related to diameter
(termFormat ChineseTraditionalLanguage diameter "直徑")	domainEnglishFormat.kif 19442-19442	arc length is internally related to diameter
(termFormat EnglishLanguage diameter "diameter")	domainEnglishFormat.kif 19441-19441	arc length is internally related to diameter
(termFormat de diameter "durchmesser")	terms-de.txt 239-239	arc length is internally related to diameter
(termFormat tg diameter "bantod")	relations-tg.txt 163-163	arc length is internally related to diameter

antecedent

(=> (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
(=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle))	Merge.kif 7714-7716	If the diameter of a circle is a length measure, then the circle is equal to circle
(=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))	Merge.kif 7707-7712	If the diameter of a circle is a length measure, then there exist a real number and an unit of measure such that the radius of the circle is the real number the unit of measure(s) and the real number and 2 the unit of measure(s) is equal to the length measure

consequent

(=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M))	Cars.kif 1541-1550	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is a circle and the circle is equal to circle, then the diameter of the circle is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 32280-32285	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an entity is an element of the set, then the diameter of the entity is the length measure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 32287-32292	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and an entity is an instance of the class, then the diameter of the entity is the length measure
(=> (circumference ?CIRCLE ?LENGTH) (exists (?D ?UNIT) (and (diameter ?CIRCLE (MeasureFn ?D ?UNIT)) (equal (MeasureFn (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))	Mid-level-ontology.kif 32258-32266	If circumference a circle and a length measure, then there exist a real number and an unit of measure such that the diameter of the circle is the real number the unit of measure(s) and the real number and 3.14 the unit of measure(s) is equal to the length measure
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch)))))	Sports.kif 964-974	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and the other self connected objectIR is equal to circle and the diameter of the other self connected objectIR is 4.25 inch(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