|
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 99-99 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 71-71 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 115-115 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 261-261 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 362-362 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 182-182 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 186-186 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 113-113 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 177-177 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 178-178 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 246-246 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 327-327 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 197-197 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 179-179 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 112-112 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 130-130 | |
| 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