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 14319-14321
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) Merge.kif 14316-14316
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14317-14317
(instance BodySideFn BinaryFunction) Merge.kif 14315-14315
(rangeSubclass BodySideFn BodyPart) Merge.kif 14318-14318

appearance as argument number 2
-------------------------


(format EnglishLanguage BodySideFn "the %1 %2") Merge.kif 14322-14322

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 14324-14335
(=>
    (instance ?X
        (BodySideFn ?S ?P))
    (instance ?X ?P))
Merge.kif 14337-14339

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 14324-14335


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