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 13131-13132
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 13128-13128 Bowing est une sous-classe de Gesture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13129-13129 Bowing est une sous-classe de Inclining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13130-13130 Bowing est une sous-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