|
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 96-96 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 97-97 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 99-99 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 100-100 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 396-396 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 101-101 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 145-145 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 102-102 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 237-237 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 506-506 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 193-193 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 194-194 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 106-106 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 107-107 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 103-103 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 104-104 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 329-329 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 146-146 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 105-105 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 195-195 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 108-108 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 236-236 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 196-196 | |
| 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