Nodding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Nodding

Nodding(nodding)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13060-13061
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7443-7443
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6729-6729
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13059-13059	Nodding is a subclass of gesture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40665-40665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40664-40664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40663-40663

antecedent

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

Mid-level-ontology.kif 13063-13067

If a process is an instance of nodding and an entity is a patient of the process,
then the entity is an instance of head

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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