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
(domain axis 2 Object)	Mid-level-ontology.kif 17493-17493
(instance axis BinaryPredicate)	Mid-level-ontology.kif 17489-17489

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

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
(=> (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
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L)))	Mid-level-ontology.kif 1320-1323

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

KB Term:			Term intersection

English Word: