BodySideFn - Sigma Knowledge base Browser

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	If an object is an instance of animal and another object is an instance of the an AntiSymmetricPositionalAttribute a kind of body part and the AntiSymmetricPositionalAttribute is the opposite of the AntiSymmetricPositionalAttributeO and Healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the AntiSymmetricPositionalAttributeO a kind of body part and the other object is the AntiSymmetricPositionalAttribute to the other objectO
(=> (instance ?X (BodySideFn ?S ?P)) (instance ?X ?P))	Merge.kif 14728-14730	If an entity is an instance of the an AntiSymmetricPositionalAttribute a kind of body part, then the entity is an instance of a kind of body part

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