No TPTP formula. May not be expressible in strict first order.	relations-it.txt 145-145
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 149-149
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 150-150
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 152-152
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 156-156
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 159-159
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 162-162
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 164-164
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 165-165
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 170-170
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 173-173
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 174-174
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 193-193
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 195-195
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 199-199
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 200-200
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