Gesture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Gesture

Gesture(gesture)

gesticulate, gestural, gesture, motion, nonverbal, shake

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3249-3250
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13093-13094
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2683-2683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13092-13092	Gesture is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13091-13091	Gesture is a subclass of communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12943-12943	Expressing is exhaustively partitioned into gesture and expressing in language
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13101-13101	Bowing is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13005-13005	Facial expression is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13069-13069	Hand gesture is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13059-13059	Nodding is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19970-19970	Shrugging is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19965-19965	Winking is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25932-25932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25931-25931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25930-25930

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