sphereRadius - Sigma 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 13472-13473
(domain sphereRadius 1 Object)	Mid-level-ontology.kif 13470-13470	Die Zahl 1 Argument von sphereRadius ist ein fall von Object %n{nicht}
(domain sphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13471-13471	Die Zahl 2 Argument von sphereRadius ist ein fall von LengthMeasure %n{nicht}
(instance sphereRadius BinaryPredicate)	Mid-level-ontology.kif 13469-13469	sphereRadius ist ein fall von BinaryPredicate %n{nicht}

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

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 17975-17986

Wenn approximateDiameter SelfConnectedObject and RealNumber ** RealNumberM(s) und sphereRadius Object and ** RealNumber und 2.0 ** RealNumberM(s) und das mass von ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und das mass von ** SelfConnectedObject ist ** RealNumber ** ** UnitOfMeasure(s) %n{nicht} und ** RealNumberM ist ein fall von UnitOfLength %n{nicht} und ** ** UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht},
dann ** ** RealNumber ist gleich ** ** RealNumber %n{nicht}

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 13513-13524	Wenn defaultMaximumSphereRadius Object and RealNumber UnitOfMeasure(s) und Object ist ein fall von Object %n{nicht} und Sphere ist ein attribut von Object %n{nicht}, dann die Aussage es gibt RealNumberADIUS um sphereRadius Object and RealNumberADIUS UnitOfMeasure(s) und RealNumberADIUS ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Unlikely
(=> (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 13494-13504	Wenn defaultMinimumSphereRadius Object and RealNumber UnitOfMeasure(s) und Object ist ein fall von Object %n{nicht} und Sphere ist ein attribut von Object %n{nicht}, dann die Aussage es gibt RealNumberADIUS um sphereRadius Object and RealNumberADIUS UnitOfMeasure(s) und RealNumberADIUS ist kleinerAls RealNumber %n{nicht} hat die modale Kraft von Unlikely

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

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

KB Term:			Term intersection

English Word: