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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bowing

 Sigma KEE - Bowing
Bowing

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13104-13105
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2762-2762
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 13102-13102 Bowing e' uma sub-classe de Inclining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13103-13103 Bowing e' uma sub-classe de MotionDownward

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11789-11789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11788-11788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11787-11787


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