|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14752-14752 | The number 1 argument of local long name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14764-14764 | The number 1 argument of local short name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 528-528 | The number 2 argument of map of area is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14736-14736 | The number 1 argument of middle name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3215-3215 | The number 1 argument of misspelled title is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 949-949 | The number 2 argument of monitor component data is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3362-3362 | The number 1 argument of name after key name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3363-3363 | The number 2 argument of name after key name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3364-3364 | The number 3 argument of name after key name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3393-3393 | The number 1 argument of name before key name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3394-3394 | The number 2 argument of name before key name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3395-3395 | The number 3 argument of name before key name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3330-3330 | The number 1 argument of name index order is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4428-4428 | The number 1 argument of names is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3473-3473 | The number 1 argument of organization name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3183-3183 | The number 1 argument of original title is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 200-200 | The number 3 argument of past tense is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3680-3680 | The number 1 argument of phone number is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3538-3538 | The number 1 argument of pin is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24836-24836 | The number 1 argument of post post office box is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24825-24825 | The number 1 argument of post street number is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24501-24501 | The number 1 argument of precedes in string is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24502-24502 | The number 2 argument of precedes in string is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24503-24503 | The number 3 argument of precedes in string is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 15-15 | The number 1 argument of product model 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