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 13139-13140
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 13138-13138	Gesture est une sous-classe de mouvement du corps
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13137-13137	Gesture est une sous-classe de communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12970-12970	Exprimer est compl�tement d�compos� en Gesture + ExpressingInLanguage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13128-13128	Bowing est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13032-13032	FacialExpression est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13096-13096	HandGesture est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13086-13086	Nodding est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19997-19997	Shrugging est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19992-19992	Winking est une sous-classe de 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