TreeView Knowledge Base Browser - Smiling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Smiling

Smiling(smiling)

beam, grin, grinning, simper, smile, smiling

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13046-13047
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 736-736
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13045-13045	Smiling is a subclass of facial expression

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 177-177	action tendency happiness and smiling
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1223-1223	Happy facial expression is internally related to smiling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53506-53506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53505-53505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53504-53504

antecedent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1614-1622	If a process is an instance of smiling and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13049-13053	If a process is an instance of smiling and an agent is an agent of the process, then happiness is an attribute of the agent holds during the time of existence of the process

consequent

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

Mid-level-ontology.kif 13070-13075

If a process is an instance of laughing,
then there exists another process such that the other process is an instance of smiling and the other process is a subprocess 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