hi

-------------------------


No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 154-154
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 156-156
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 157-157
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 158-158
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 160-160
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 163-163
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 174-174
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 175-175
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 176-176
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 178-178
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 185-185
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 190-190
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 192-192
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 193-193
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 196-196
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 197-197
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 200-200
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 205-205
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 206-206
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 57-57
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 209-209
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 210-210

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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