Lesion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Lesion

Lesion(lesion)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9386-9387
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9385-9385	Lesion is a subclass of abnormal anatomical structure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34079-34079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34078-34078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34077-34077

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9389-9394	If an entity is an instance of lesion, then there exists a process such that the process is an instance of injuring and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9396-9402	If a physical is an instance of lesion, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of organ and the physical is located at the self connected object

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 9408-9418

If a physical is an instance of scar,
then there exist a time position, a process and an entity such that the time position is a part of before the time of existence of the physical and the entity is an instance of lesion holds during the time position and the process is an instance of organ or tissue process and the entity is a patient of the process and the physical is a result of the process

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