|
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 446-446 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 280-280 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 424-424 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 453-453 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 269-269 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 407-407 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 270-270 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 162-162 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 251-251 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 252-252 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 100-100 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 131-131 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 361-361 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 118-118 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 114-114 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 106-106 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 226-226 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 67-67 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 216-216 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 217-217 | |
| 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