TreeView Knowledge Base Browser

appearance as argument number 1

(documentation sphereRadius EnglishLanguage "(sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH.")	Mid-level-ontology.kif 13417-13418
(domain sphereRadius 1 Object)	Mid-level-ontology.kif 13415-13415	sphereRadius の数値 1 引数はオブジェクトの instance では %n
(domain sphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13416-13416	sphereRadius の数値 2 引数は長さ測定の instance では %n
(instance sphereRadius BinaryPredicate)	Mid-level-ontology.kif 13414-13414	sphereRadius は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage sphereRadius "%1 的 radius 是 %2 ")	domainEnglishFormat.kif 4590-4590
(format ChineseTraditionalLanguage sphereRadius "%1 的 radius 是 %2 ")	domainEnglishFormat.kif 4589-4589
(format EnglishLanguage sphereRadius "the radius of %1 is %2")	domainEnglishFormat.kif 4588-4588
(termFormat EnglishLanguage sphereRadius "sphere radius")	Mid-level-ontology.kif 13419-13419

antecedent

(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2.0) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM UnitOfLength)
        (instance ?VM UnitOfVolume))
    (equal ?V1 ?V2))

Mid-level-ontology.kif 17897-17908

approximateDiameter 自己接続オブジェクト and 実数の実数M(s) sphereRadius オブジェクト and 実数 + 2.0 の実数M(s) オブジェクトの measure は実数の測定単位(s) では %n 自己接続オブジェクトの measure は実数の測定単位(s) では %n 実数M は UnitOfLength の instance では %n 測定単位は UnitOfVolume の instance では %n
実数は実数と equal では %n

consequent

(=> (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (greaterThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 13458-13469	defaultMaximumSphereRadius オブジェクト and 実数の測定単位(s) オブジェクトはオブジェクトの instance では %n Sphere はオブジェクトの attribute では %n ステートメント実数ADIUS sphereRadius オブジェクト and 実数ADIUS の測定単位(s) 実数ADIUS は実数より greater では　%n には Unlikely の modal force がある
(=> (and (defaultMinimumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (lessThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 13439-13449	defaultMinimumSphereRadius オブジェクト and 実数の測定単位(s) オブジェクトはオブジェクトの instance では %n Sphere はオブジェクトの attribute では %n ステートメント実数ADIUS sphereRadius オブジェクト and 実数ADIUS の測定単位(s) 実数ADIUS は実数より less では %n には Unlikely の modal force がある

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

KB Term:			Term intersection

English Word: