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(手勢)

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 13115-13116
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 13114-13114	子類手勢 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13113-13113	子類手勢 and Communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12942-12942	劃分 Expressing, 手勢 and 用語言表達
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13100-13100	子類鞠躬 and 手勢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13004-13004	子類表情 and 手勢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13068-13068	子類手勢 and 手勢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13058-13058	子類點頭 and 手勢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19969-19969	子類聳肩 and 手勢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19964-19964	子類眨眼 and 手勢
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