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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeadOrMissingBodyPartFn

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 18241-18244
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 18239-18239 The number 1 argument of dead or missing body part fn is a subclass of body part
(instance DeadOrMissingBodyPartFn UnaryFunction) Merge.kif 18237-18237 Dead or missing body part fn is an instance of unary function
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 18240-18240 The range of dead or missing body part fn is an instance of disease or syndrome
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn) Merge.kif 18238-18238 Dead or missing body part fn is internally related to Dead fn

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


(termFormat EnglishLanguage DeadOrMissingBodyPartFn "dead or missing body part fn") domainEnglishFormat.kif 64746-64746

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


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

Show without tree


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