No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 122-122
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 89-89
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 94-94
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 140-140
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 144-144
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 150-150
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