TreeView Knowledge Base Browser - OpeningEyesWidely

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

OpeningEyesWidely

Sigma KEE - OpeningEyesWidely

OpeningEyesWidely(opening eyes widely)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1663-1664
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1665-1665	Opening eyes widely is a subclass of facial expression

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 180-180	action tendency surprise and opening eyes widely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1338-1338	Fearful facial expression is internally related to opening eyes widely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1273-1273	Surprised facial expression is internally related to opening eyes widely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1666-1666

antecedent

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

emotion.kif 1668-1676

If a process is an instance of opening eyes widely and an agent is an agent of the process,
then there exists an object such that the object is an instance of eyelid and the object is a part of the agent and the object is a patient 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