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 17306-17307
(domain axis 1 Object) Mid-level-ontology.kif 17308-17308 The number 1 argument of axis is an instance of object
(domain axis 2 Object) Mid-level-ontology.kif 17309-17309 The number 2 argument of axis is an instance of object
(instance axis BinaryPredicate) Mid-level-ontology.kif 17305-17305 axis is an instance of binary predicate

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 9418-9418
(termFormat ChineseTraditionalLanguage axis "軸") domainEnglishFormat.kif 9417-9417
(termFormat EnglishLanguage axis "axis") domainEnglishFormat.kif 9416-9416

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 17311-17323

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 17330-17339
(=>
    (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 17345-17354
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1294-1297


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