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	Il numero 1 argomenti di axis è un istanza di Oggetto
(domain axis 2 Object)	Mid-level-ontology.kif 17493-17493	Il numero 2 argomenti di axis è un istanza di Oggetto
(instance axis BinaryPredicate)	Mid-level-ontology.kif 17489-17489	axis è un' istanza di PredicatoBinario

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 è un' istanza di Rotating AutonomousAgent è una parte di AutonomousAgent AutonomousAgent esperisces Processo Processo2 Processo2 è un' istanza di Rotating Processo2 è un sottoprocesso di Processo AutonomousAgent esperisces 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 è un' istanza di CentrifugalMotion Processo Oggetto, AutonomousAgent and AutonomousAgent Processo è un' istanza di Rotating axis Oggetto and AutonomousAgent Processo si originas in Oggetto AutonomousAgent esperisces Processo AutonomousAgent esperisces Processo Processo causas 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 è un' istanza di CentripetalMotion Processo Oggetto, AutonomousAgent and AutonomousAgent Processo è un' istanza di Rotating axis Oggetto and AutonomousAgent Processo fines in Oggetto AutonomousAgent esperisces Processo AutonomousAgent esperisces Processo Processo causas Processo
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L)))	Mid-level-ontology.kif 1320-1323	Oggetto è un' istanza di Lever Oggetto axis Oggetto and Oggetto

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

KB Term:			Term intersection

English Word: