axis |
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 | 域 軸, 1 and Object |
(domain axis 2 Object) | Mid-level-ontology.kif 17493-17493 | 域 軸, 2 and Object |
(instance axis BinaryPredicate) | Mid-level-ontology.kif 17489-17489 | 例 軸 and BinaryPredicate |
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 |