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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 DeadOrMissingBodyPartFn 的 1 数量 是 身体部位subclass
(instance DeadOrMissingBodyPartFn UnaryFunction) Merge.kif 18237-18237 DeadOrMissingBodyPartFn一元函数instance
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 18240-18240 DeadOrMissingBodyPartFnrange疾病或综合症 的实例
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn) Merge.kif 18238-18238 DeadOrMissingBodyPartFnDeadFn 是 内部相关

appearance as argument number 2

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


        (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