No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 105-105
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 108-108
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 110-110
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 119-119
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 65-65
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 172-172
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 245-245
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 246-246
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 413-413
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 278-278
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 60-60
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 200-200
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 528-528
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 185-185
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 52-52
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