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 | The number 1 argument of axis is an instance of object |
(domain axis 2 Object) | Mid-level-ontology.kif 17493-17493 | The number 2 argument of axis is an instance of object |
(instance axis BinaryPredicate) | Mid-level-ontology.kif 17489-17489 | axis is an instance of binary predicate |
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 |
![]() |
![]() |
![]() |