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 17463-17464
(domain axis 1 Object) Mid-level-ontology.kif 17465-17465 的 1 数量 是 客体instance
(domain axis 2 Object) Mid-level-ontology.kif 17466-17466 的 2 数量 是 客体instance
(instance axis BinaryPredicate) Mid-level-ontology.kif 17462-17462 二元谓语instance

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 17468-17480

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 17487-17496
(=>
    (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 17502-17511
(=>
    (instance ?L Lever)
    (exists (?A)
        (axis ?A ?L)))
Mid-level-ontology.kif 1327-1330


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