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 4948-4949
(domain RadiusFn 1 Object)	Mid-level-ontology.kif 4952-4952	RadiusFn の数値 1 引数はオブジェクトの instance では %n
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 4951-4951	RadiusFn は合計値関係の instance では %n
(instance RadiusFn UnaryFunction)	Mid-level-ontology.kif 4950-4950	RadiusFn は 1変数関数の instance では %n
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 4953-4953	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 48617-48617
(termFormat ChineseTraditionalLanguage RadiusFn "半徑")	domainEnglishFormat.kif 48616-48616
(termFormat EnglishLanguage RadiusFn "radius")	domainEnglishFormat.kif 48615-48615

antecedent

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

Mid-level-ontology.kif 4962-4965

長さ測定は 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 4955-4960	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 4936-4941	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