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 18552-18553
(domain axis 1 Object)	Mid-level-ontology.kif 18554-18554	The number 1 argument of axis is an instance of object
(domain axis 2 Object)	Mid-level-ontology.kif 18555-18555	The number 2 argument of axis is an instance of object
(instance axis BinaryPredicate)	Mid-level-ontology.kif 18551-18551	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 9421-9421
(termFormat ChineseTraditionalLanguage axis "軸")	domainEnglishFormat.kif 9420-9420
(termFormat EnglishLanguage axis "axis")	domainEnglishFormat.kif 9419-9419

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 18557-18569

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

(=> (and (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N))))	Geography.kif 3824-3831	If an object is equal to North Pole and the object is located at arctic region, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
(=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S))))	Geography.kif 3851-3858	If an object is equal to South Pole and the object is located at antarctica, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
(=> (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 18576-18585	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 18591-18600	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 1320-1323	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: