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 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 e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order. Merge.kif 13091-13091 Gesture e' uma sub-classe de Communicacao

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12943-12943 O conceito Exprimir e' completamente decomposto em Gesture + ExpressingInLanguage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13101-13101 Bowing e' uma sub-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13005-13005 FacialExpression e' uma sub-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13069-13069 HandGesture e' uma sub-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13059-13059 Nodding e' uma sub-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19970-19970 Shrugging e' uma sub-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19965-19965 Winking e' uma sub-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