Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodySideFn
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners