TreeView Knowledge Base Browser - TearSubstance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TearSubstance

TearSubstance(tear substance)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1124-1126
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12352-12353
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3218-3218
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2999-2999
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12356-12356	Tear substance is a subclass of liquid body substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12357-12357	Tear substance is a subclass of saline solution

appearance as argument number 2

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.	domainEnglishFormat.kif 57187-57187
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57186-57186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57185-57185
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12354-12354

antecedent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12375-12383	If a physical is an instance of tear substance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of lubricating and the object transferred in the entity is the physical and the other entity is an instance of eye and the entity ends up at the other entity

consequent

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

emotion.kif 1129-1139

If a transfer is an instance of crying and an agent experiences the transfer,
then there exist an object and another object such that the object is an instance of tear substance and the transfer originates at the other object and the object transferred in the transfer is the object and the other object is an instance of eye and the other object is a part of the agent

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