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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeadOrMissingBodyPartFn
DeadOrMissingBodyPartFn

appearance as argument number 1
-------------------------


(documentation DeadOrMissingBodyPartFn EnglishLanguage "A Function that returns an instance of DeadOrMissingBodyPartFn that refers to a particular BodyPart. For example, an amputated leg would be a subAttribute of (DeadOrMissingBodyPartFn Leg)") Merge.kif 17980-17983
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 17978-17978 The number 1 argument of DeadOrMissingBodyPartFn is a subclass of body part
(instance DeadOrMissingBodyPartFn UnaryFunction) Merge.kif 17977-17977 DeadOrMissingBodyPartFn is an instance of unary function
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 17979-17979 The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))
Merge.kif 17985-17993


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