axis - Sigma Knowledge base Browser

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 17462-17463
(domain axis 1 Object)	Mid-level-ontology.kif 17464-17464	The number 1 argument of axis is an instance of object
(domain axis 2 Object)	Mid-level-ontology.kif 17465-17465	The number 2 argument of axis is an instance of object
(instance axis BinaryPredicate)	Mid-level-ontology.kif 17461-17461	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 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 17467-17479

If an agent is an axis of another agent,
then there exists a process such that the process is an instance of rotating and the other agent is a part of the agent and the agent experiences the process and there doesn't exist the process2 such that the process2 is an instance of rotating and the process2 is a subprocess of the process and the other agent experiences the process2

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 17486-17495	If a process is an instance of centrifugal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process originates at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
(=> (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 17501-17510	If a process is an instance of centripetal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process ends up at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L)))	Mid-level-ontology.kif 1327-1330	If an object is an instance of lever, then there exists another object such that the object is an axis of the other object

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: