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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hi

Sigma KEE - hi
hi

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


No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 63-63
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 68-68
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 70-70
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 75-75
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 79-79
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 85-85
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 88-88
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 102-102
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 106-106
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 109-109
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 110-110
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 120-120
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 123-123
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 128-128
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 132-132
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 133-133
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 144-144
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 152-152

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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