BodySideFn |
appearance as argument number 1 |
![]() |
(documentation BodySideFn EnglishLanguage "A Function that takes a BodyPart that normally exists in pairs and returns the part that is on the given side of the body, for example (BodyPartFn Right Lung) or (BodyPartFn Left Arm).") | Merge.kif 14710-14712 | |
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) | Merge.kif 14707-14707 | The number 1 argument of BodySideFn is an instance of AntiSymmetricPositionalAttribute |
(domainSubclass BodySideFn 2 BodyPart) | Merge.kif 14708-14708 | The number 2 argument of BodySideFn is a subclass of body part |
(instance BodySideFn BinaryFunction) | Merge.kif 14706-14706 | BodySideFn is an instance of binary function |
(rangeSubclass BodySideFn BodyPart) | Merge.kif 14709-14709 | The values returned by BodySideFn are subclasses of body part |
appearance as argument number 2 |
![]() |
(format EnglishLanguage BodySideFn "the %1 %2") | Merge.kif 14713-14713 |
antecedent |
![]() |
(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 14715-14726 |
|
(=> (instance ?X (BodySideFn ?S ?P)) (instance ?X ?P)) |
Merge.kif 14728-14730 |
|
consequent |
![]() |
(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 14715-14726 |
|
![]() |
![]() |