Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - axis
axis

appearance as argument number 1
-------------------------


(documentation axis EnglishLanguage "(axis ?A ?OBJ) means that a part ?A of an Object ?OBJ is the axis of rotation in a Rotating.") Mid-level-ontology.kif 17490-17491
(domain axis 1 Object) Mid-level-ontology.kif 17492-17492 , 1 and Object
(domain axis 2 Object) Mid-level-ontology.kif 17493-17493 , 2 and Object
(instance axis BinaryPredicate) Mid-level-ontology.kif 17489-17489 and BinaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage axis "%2 %n 是 %1 的 axis") domainEnglishFormat.kif 244-244
(format ChineseTraditionalLanguage axis "%2 %n 是 %1 的 axis") domainEnglishFormat.kif 243-243
(format EnglishLanguage axis "%2 is %n an axis of %1") domainEnglishFormat.kif 242-242
(termFormat ChineseLanguage axis "轴") domainEnglishFormat.kif 9414-9414
(termFormat ChineseTraditionalLanguage axis "軸") domainEnglishFormat.kif 9413-9413
(termFormat EnglishLanguage axis "axis") domainEnglishFormat.kif 9412-9412

antecedent
-------------------------


(=>
    (axis ?AXIS ?OBJ)
    (exists (?R)
        (and
            (instance ?R Rotating)
            (part ?AXIS ?OBJ)
            (experiencer ?R ?OBJ)
            (not
                (exists (?R2)
                    (and
                        (instance ?R2 Rotating)
                        (subProcess ?R2 ?R)
                        (experiencer ?R2 ?AXIS)))))))
Mid-level-ontology.kif 17495-17507

consequent
-------------------------


(=>
    (instance ?CM CentrifugalMotion)
    (exists (?R ?A ?O1 ?O2)
        (and
            (instance ?R Rotating)
            (axis ?A ?O1)
            (origin ?CM ?A)
            (experiencer ?R ?O1)
            (experiencer ?CM ?O2)
            (causes ?R ?CM))))
Mid-level-ontology.kif 17514-17523
(=>
    (instance ?CM CentripetalMotion)
    (exists (?R ?A ?O1 ?O2)
        (and
            (instance ?R Rotating)
            (axis ?A ?O1)
            (destination ?CM ?A)
            (experiencer ?R ?O1)
            (experiencer ?CM ?O2)
            (causes ?R ?CM))))
Mid-level-ontology.kif 17529-17538
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1320-1323


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