|
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 118-118 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 185-185 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 120-120 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 193-193 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 195-195 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 197-197 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 205-205 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 207-207 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 208-208 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 212-212 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 214-214 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 215-215 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 217-217 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 220-220 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 224-224 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 230-230 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 232-232 | |
| 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