TreeView Knowledge Base Browser - TearGland

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TearGland

TearGland(lacrymal gland)

lachrymal_gland, lacrimal_gland, tear_gland

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12360-12361
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12355-12355	Tear substance is a secretes substance of lacrymal gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12359-12359	Lacrymal gland is a subclass of gland

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12363-12363
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12362-12362

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2359-2367	If a process is an instance of Sjogrens syndrome and an agent experiences the process, then impaired body part fn salivary gland is an attribute of the agent or impaired body part fn lacrymal gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12367-12373	If an entity is an instance of tear substance, then there exist a process and the entityG such that the entityG is an instance of lacrymal gland and the entityG is an instrument for the process and the entity is a result of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

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