TreeView Knowledge Base Browser - Congratulating

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Congratulating

Congratulating(congratulating)

congratulate, congratulation, felicitate, felicitation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12991-12993
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2661-2661
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12990-12990	Congratulating is a subclass of expressing approval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16620-16620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16619-16619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16618-16618

antecedent

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

Mid-level-ontology.kif 12995-13003

If a process is an instance of congratulating,
then there exist another process, a cognitive agent and an agent such that the process ends up at the agent and the agent is an agent of the other process and the cognitive agent is an agent of the process and the cognitive agent wants the other process and the process includes a reference to the other 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