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 17462-17463 | |
(domain axis 1 Object) | Mid-level-ontology.kif 17464-17464 | |
(domain axis 2 Object) | Mid-level-ontology.kif 17465-17465 | |
(instance axis BinaryPredicate) | Mid-level-ontology.kif 17461-17461 |
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 17467-17479 |
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 17486-17495 | |
(=> (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 17501-17510 | |
(=> (instance ?L Lever) (exists (?A) (axis ?A ?L))) |
Mid-level-ontology.kif 1327-1330 |