TreeView Knowledge Base Browser

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 7652-7653
(documentation diameter JapaneseLanguage "(diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。")	japanese_format.kif 1370-1371
(domain diameter 1 Circle)	Merge.kif 7649-7649	The number 1 argument of diameter is an instance of circle
(domain diameter 2 LengthMeasure)	Merge.kif 7650-7650	The number 2 argument of diameter is an instance of length measure
(instance diameter BinaryPredicate)	Merge.kif 7646-7646	diameter is an instance of binary predicate
(instance diameter SingleValuedRelation)	Merge.kif 7647-7647	diameter is an instance of single valued relation
(instance diameter TotalValuedRelation)	Merge.kif 7648-7648	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
(termFormat ChineseLanguage diameter "圆周")	chinese_format.kif 618-618
(termFormat ChineseLanguage diameter "直径")	domainEnglishFormat.kif 19425-19425
(termFormat ChineseTraditionalLanguage diameter "直徑")	domainEnglishFormat.kif 19424-19424
(termFormat EnglishLanguage diameter "diameter")	domainEnglishFormat.kif 19423-19423
(termFormat tg diameter "bantod")	relations-tg.txt 163-163

antecedent

(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))

Merge.kif 7655-7660

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 Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M))	Cars.kif 1538-1544	If the bore of a cylinder is a length measure and the cylinder is an instance of cylinder and a circle is an instance of circle and the circle is a part of the cylinder, then the diameter of the circle is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31262-31267	If members of a collection have the measure a length measure in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection, then the diameter of the physical is the length measure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31269-31274	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and a circle is an instance of the class, then the diameter of the circle is the length measure
(=> (circumfrence ?CIRCLE ?LENGTH) (exists (?D ?UNIT) (and (diameter ?CIRCLE (MeasureFn ?D ?UNIT)) (equal (MeasureFn (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))	Mid-level-ontology.kif 31243-31251	If circumfrence 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 (?CYLINDER ?CIRCLE) (and (instance ?CYLINDER Cylinder) (attribute ?HOLE ?CYLINDER) (top ?CIRCLE ?HOLE) (instance ?CIRCLE Circle) (diameter ?CIRCLE (MeasureFn 4.25 Inch)))))	Sports.kif 963-971	If a self connected object is an instance of golf hole, then there exist an attribute and another self connected object such that the attribute is an instance of cylinder and the attribute is an attribute of the self connected object and the top of the self connected object is the other self connected object and the other self connected object is an instance of circle and the diameter of the other self connected object is 4.25 inch(s)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: