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 7570-7571 | |
(domain diameter 1 Circle) | Merge.kif 7567-7567 | |
(domain diameter 2 LengthMeasure) | Merge.kif 7568-7568 | |
(instance diameter BinaryPredicate) | Merge.kif 7564-7564 | |
(instance diameter SingleValuedRelation) | Merge.kif 7565-7565 | |
(instance diameter TotalValuedRelation) | Merge.kif 7566-7566 |
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 | |
(termFormat ChineseLanguage diameter "圆周") | chinese_format.kif 618-618 | |
(termFormat ChineseLanguage diameter "直径") | domainEnglishFormat.kif 19419-19419 | |
(termFormat ChineseTraditionalLanguage diameter "直徑") | domainEnglishFormat.kif 19418-19418 | |
(termFormat EnglishLanguage diameter "diameter") | domainEnglishFormat.kif 19417-19417 |
antecedent |
![]() |
(=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7573-7578 |
consequent |
![]() |
(=> (and (cylinderBore ?CY ?M) (instance ?CY Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M)) |
Cars.kif 1538-1544 | |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 30533-30538 | |
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 30540-30545 | |
(=> (circumfrence ?CIRCLE ?LENGTH) (exists (?D ?UNIT) (and (diameter ?CIRCLE (MeasureFn ?D ?UNIT)) (equal (MeasureFn (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH)))) |
Mid-level-ontology.kif 30514-30522 | |
(=> (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 891-899 |
![]() |
![]() |