TreeView Knowledge Base Browser - FearfulFacialExpression

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FearfulFacialExpression

Sigma KEE - FearfulFacialExpression

FearfulFacialExpression(fearful facial expression)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1340-1341
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1339-1339	Fearful facial expression is internally related to angst
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 1342-1342	Fearful facial expression is a subclass of emotional facial expression

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 183-183	action tendency angst and fearful facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1336-1337

consequent

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

emotion.kif 1344-1353

If angst is an attribute of an entity holds during a time position,
then the statement there exists another entity such that the other entity is an instance of fearful facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely

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