Bowing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Bowing

Bowing(bowing)

bow, bow_down, salaam

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 is a subclass of gesture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13102-13102	Bowing is a subclass of inclining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13103-13103	Bowing is a subclass of motion downward

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 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