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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hindi

 Sigma KEE - Hindi
Hindi

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


No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 60-60
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 167-167
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 240-240
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 241-241
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 408-408
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 273-273
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 55-55
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 457-457
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 176-176
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 195-195
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 225-225
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 522-522
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 472-472
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 47-47
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 103-103
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 493-493
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 199-199
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 189-189
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 518-518
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 188-188
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 253-253
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 257-257

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