|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4420-4420 | The number 1 argument of recovery key is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3172-3172 | The number 1 argument of reference title is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 626-626 | The number 1 argument of related external concept is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3132-3132 | The number 1 argument of sorting title is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3051-3051 | The number 1 argument of spelling in language is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3444-3444 | The number 2 argument of stock symbol is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24485-24485 | The number 1 argument of string concatenation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24486-24486 | The number 2 argument of string concatenation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24487-24487 | The number 3 argument of string concatenation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24459-24459 | The number 2 argument of string length is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24389-24389 | The number 1 argument of sub string is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24390-24390 | The number 2 argument of sub string is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 663-663 | The number 1 argument of subsumed external concept is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 657-657 | The number 1 argument of subsuming external concept is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3225-3225 | The number 1 argument of subtitle is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 636-636 | The number 1 argument of synonymous external concept is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24913-24913 | The number 1 argument of telecom area code is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24928-24928 | The number 1 argument of telecom code2 is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24889-24889 | The number 1 argument of telecom core number is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24900-24900 | The number 1 argument of telecom country code is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24939-24939 | The number 1 argument of telecom extension is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 389-389 | The number 3 argument of term format is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3104-3104 | The number 1 argument of title in language is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14707-14707 | The number 1 argument of titles is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3250-3250 | The number 1 argument of translated title is an instance of symbolic string |
| 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