Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeadOrMissingBodyPartFn |
| appearance as argument number 1 |
|
| s__instance(s__DeadOrMissingBodyPartFn,s__UnaryFunction)
|
Merge.kif 18578-18578 | Dead or missing body part fn is an instance of unary function |
| s__relatedInternalConcept(s__DeadOrMissingBodyPartFn,s__DeadFn)
|
Merge.kif 18579-18579 | Dead or missing body part fn is internally related to Dead fn |
| s__domainSubclass(s__DeadOrMissingBodyPartFn,n__1,s__BodyPart)
|
Merge.kif 18580-18580 | The number 1 argument of dead or missing body part fn is a subclass of body part |
| s__range(s__DeadOrMissingBodyPartFn,s__DiseaseOrSyndrome)
|
Merge.kif 18581-18581 | The range of dead or missing body part fn is an instance of disease or syndrome |
| s__documentation(s__DeadOrMissingBodyPartFn, s__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 18582-18585 | The range of dead or missing body part fn is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__DeadOrMissingBodyPartFn, "dead or missing body part fn") | domainEnglishFormat.kif 64749-64749 |
| antecedent |
|
|
| ! [V__F : $i,V__H : $i,V__P : $i,V__PI : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__DeadOrMissingBodyPartFn(V__P))) & s__instance(V__PI, V__P) & s__part(V__PI, V__H) & s__hasPurpose(V__PI, V__F)) => ~(V__F))) | Merge.kif 18587-18595 | If dead or missing body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then V |
| statement |
|
|
| s__BrainDead = s__DeadOrMissingBodyPartFn(s__Brain)
|
Medicine.kif 5210-5210 | equal brain dead and dead or missing body part fn brain |
|