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

Formal Language: 



KB Term:  Term intersection
English Word: 

  axis

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 16880-16881
(domain axis 1 Object) Mid-level-ontology.kif 16882-16882
(domain axis 2 Object) Mid-level-ontology.kif 16883-16883
(instance axis BinaryPredicate) Mid-level-ontology.kif 16879-16879

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 9423-9423
(termFormat ChineseTraditionalLanguage axis "軸") domainEnglishFormat.kif 9422-9422
(termFormat EnglishLanguage axis "axis") domainEnglishFormat.kif 9421-9421

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 16885-16897

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 16904-16913
(=>
    (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 16919-16928
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1284-1287


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