TreeView Knowledge Base Browser

appearance as argument number 1

(documentation radius ChineseLanguage "(radius ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的半径的长度是 ?LENGTH。")	chinese_format.kif 2651-2652
(documentation radius EnglishLanguage "(radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.")	Merge.kif 7558-7559
(domain radius 1 Circle)	Merge.kif 7555-7555	domain radius, 1 and Circle
(domain radius 2 LengthMeasure)	Merge.kif 7556-7556	domain radius, 2 and LengthMeasure
(instance radius BinaryPredicate)	Merge.kif 7552-7552	instance radius and BinaryPredicate
(instance radius SingleValuedRelation)	Merge.kif 7553-7553	instance radius and SingleValuedRelation
(instance radius TotalValuedRelation)	Merge.kif 7554-7554	instance radius and TotalValuedRelation

appearance as argument number 2

(format ChineseLanguage radius "%1 的 radius %n 是 %2")	chinese_format.kif 790-790
(format EnglishLanguage radius "the radius of %1 is %n %2")	english_format.kif 793-793
(format JapaneseLanguage radius "%1 の radius は %2 では %n")	english_format.kif 794-794
(termFormat ChineseLanguage radius "半径")	chinese_format.kif 791-791
(termFormat ChineseTraditionalLanguage radius "半徑")	domainEnglishFormat.kif 48560-48560
(termFormat EnglishLanguage radius "radius")	domainEnglishFormat.kif 48559-48559

antecedent

(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))

Merge.kif 7561-7567

Circle の radius は LengthMeasure では %n
GeometricPoint GeometricPoint
- GeometricPoint の vertex は Circle では %n
- geometricDistance GeometricPoint, GeometricPoint and LengthMeasure

consequent

(=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))	Merge.kif 7579-7584	diameter Circle and LengthMeasure RealNumber UnitOfMeasure Circle の radius は MeasureFn RealNumber and UnitOfMeasure では %n equal MeasureFn MultiplicationFn RealNumber and 2 and UnitOfMeasure and LengthMeasure
(=> (instance ?C Circle) (exists (?R) (radius ?C ?R)))	Merge.kif 7534-7537	instance Circle and Circle LengthMeasure Circle の radius は LengthMeasure では %n

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

KB Term:			Term intersection

English Word: