|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1677-1677 | referee is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2509-2509 | resource is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2532-2532 | resource exhausted is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1992-1992 | resource used is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2549-2549 | result is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22880-22880 | service provider is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22891-22891 | service recipient is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 532-532 | standard error device is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 501-501 | standard input device is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 515-515 | standard output device is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29577-29577 | suffers is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6789-6789 | target in attack is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22861-22861 | transported is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 257-257 | victim is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 207-207 | witness is an instance of case role |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 904-904 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1015-1015 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 580-580 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 110-110 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 113-113 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2265-2265 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 532-532 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 147-147 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 601-601 | |
| 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