No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 156-156
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 158-158
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 106-106
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 107-107
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 164-164
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 166-166
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 168-168
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 170-170
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 171-171
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 113-113
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 118-118
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