TreeView 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 17490-17491
(domain axis 1 Object)	Mid-level-ontology.kif 17492-17492	O argumento numero 1 de axis e' uma instancia de Objeto
(domain axis 2 Object)	Mid-level-ontology.kif 17493-17493	O argumento numero 2 de axis e' uma instancia de Objeto
(instance axis BinaryPredicate)	Mid-level-ontology.kif 17489-17489	axis e' uma instancia de Predicado Binario

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 17495-17507

axis AutonomousAgent and AutonomousAgent
Processo Processo e' uma instancia de Rotating AutonomousAgent e' uma &parte de AutonomousAgent AutonomousAgent experimenta Processo Processo2 Processo2 e' uma instancia de Rotating Processo2 e' um sub-processo de Processo AutonomousAgent experimenta Processo2

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 17514-17523	Processo e' uma instancia de CentrifugalMotion Processo Objeto, AutonomousAgent and AutonomousAgent Processo e' uma instancia de Rotating axis Objeto and AutonomousAgent Processo tem como origem Objeto AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo
(=> (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 17529-17538	Processo e' uma instancia de CentripetalMotion Processo Objeto, AutonomousAgent and AutonomousAgent Processo e' uma instancia de Rotating axis Objeto and AutonomousAgent Processo termina em Objeto AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L)))	Mid-level-ontology.kif 1320-1323	Objeto e' uma instancia de Lever Objeto axis Objeto and Objeto

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: