Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gesture

 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 Gesture est une sous-classe de mouvement du corps
No TPTP formula. May not be expressible in strict first order. Merge.kif 13113-13113 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 12942-12942 Exprimer est compl�tement d�compos� en Gesture + ExpressingInLanguage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13100-13100 Bowing est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13004-13004 FacialExpression est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13068-13068 HandGesture est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13058-13058 Nodding est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19969-19969 Shrugging est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19964-19964 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 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