No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 457-457
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 459-459
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 477-477
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 480-480
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 489-489
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 490-490
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 492-492
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 498-498
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 502-502
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 505-505
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 507-507
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 509-509
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 58-58
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 70-70
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 63-63
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 76-76
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