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 13444-13445
(domain sphereRadius 1 Object)	Mid-level-ontology.kif 13442-13442	sphereRadius 的 1 数量是客体的 instance
(domain sphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13443-13443	sphereRadius 的 2 数量是长度测量的 instance
(instance sphereRadius BinaryPredicate)	Mid-level-ontology.kif 13441-13441	sphereRadius 是二元谓语的 instance

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 13446-13446

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 17947-17958

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 13485-13496	如果有点客体的 maximum 預期半径是实数测量单位和另一个客体是有点客体的 instance 和球是那个另外客体的 attribute，然后有存在那个实数ADIUS 这样那个另外客体的 radius 是那个实数ADIUS 那个测量单位和那个实数ADIUS 是 greaterThan 那个实数的声明 has 较不可能的语气
(=> (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 13466-13476	如果有点客体的 minimum 预期半径是实数测量单位和另一个客体是有点客体的 instance 和球是那个另外客体的 attribute，然后有存在那个实数ADIUS 这样那个另外客体的 radius 是那个实数ADIUS 那个测量单位和那个实数ADIUS 是 lessThan 那个实数的声明 has 较不可能的语气