TreeView Knowledge Base Browser - RadiusFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RadiusFn

RadiusFn

appearance as argument number 1

(documentation RadiusFn EnglishLanguage "(RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE.")	Mid-level-ontology.kif 4953-4954
(domain RadiusFn 1 Object)	Mid-level-ontology.kif 4957-4957	RadiusFn の数値 1 引数はオブジェクトの instance では %n
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4956-4956	RadiusFn は合計値関係の instance では %n
(instance RadiusFn UnaryFunction)	Mid-level-ontology.kif 4955-4955	RadiusFn は 1変数関数の instance では %n
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 4958-4958	RadiusFn の range は長さ測定のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage RadiusFn "%1 的 radius ")	domainEnglishFormat.kif 2095-2095
(format ChineseTraditionalLanguage RadiusFn "%1 的 radius ")	domainEnglishFormat.kif 2094-2094
(format EnglishLanguage RadiusFn "the radius of %1")	domainEnglishFormat.kif 2093-2093
(termFormat ChineseLanguage RadiusFn "半径")	domainEnglishFormat.kif 48584-48584
(termFormat ChineseTraditionalLanguage RadiusFn "半徑")	domainEnglishFormat.kif 48583-48583
(termFormat EnglishLanguage RadiusFn "radius")	domainEnglishFormat.kif 48582-48582

antecedent

(=>
    (equal ?L
        (RadiusFn ?C))
    (shape ?C Circle))

Mid-level-ontology.kif 4967-4970

長さ測定は RadiusFn オブジェクトと equal では %n
shape オブジェクト and Circle

consequent

(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R))	Mid-level-ontology.kif 4960-4965	CenterOfCircleFn オブジェクトは GeometricPoint と equal では %n GeometricPoint2 の vertex はオブジェクトでは %n geometricDistance GeometricPoint2, GeometricPoint and 長さ測定 RadiusFn オブジェクトは長さ測定と equal では %n
(=> (equal (DiameterFn ?C) (MeasureFn ?L ?U)) (exists (?R) (and (equal (RadiusFn ?C) (MeasureFn ?R ?U)) (equal (MultiplicationFn ?R 2.0) ?L))))	Mid-level-ontology.kif 4941-4946	DiameterFn オブジェクトは実数の測定単位(s) と equal では %n 実数 RadiusFn オブジェクトは実数の測定単位(s) と equal では %n 実数 + 2.0 は実数と equal では %n

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

Show without tree

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