| appearance as argument number 1 |
|
| (documentation abbreviation EnglishLanguage "(abbreviation ?STRING ?THING) means that ?STRING is an abbreviation used to refer to ?THING. Abbreviations include acronyms and other abbreviated forms.") | Mid-level-ontology.kif 25492-25494 | |
| (domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 25488-25488 | |
| (domain abbreviation 2 Entity) | Mid-level-ontology.kif 25489-25489 | |
| (instance abbreviation BinaryPredicate) | Mid-level-ontology.kif 25487-25487 | |
| (subrelation abbreviation conventionalShortName) | Mid-level-ontology.kif 25490-25490 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage abbreviation "%2 %n 是 %1 的简称") | domainEnglishFormat.kif 16-16 | |
| (format ChineseTraditionalLanguage abbreviation "%2 %n 是 %1 的簡稱") | domainEnglishFormat.kif 15-15 | |
| (format EnglishLanguage abbreviation "%1 is %n an abbreviation of %2") | domainEnglishFormat.kif 14-14 | |
| (subrelation acronym abbreviation) | Media.kif 3004-3004 | |
| (subrelation currencyCode abbreviation) | Economy.kif 3619-3619 | |
| (termFormat ChineseLanguage abbreviation "缩写") | domainEnglishFormat.kif 5051-5051 | |
| (termFormat ChineseTraditionalLanguage abbreviation "縮寫") | domainEnglishFormat.kif 5050-5050 | |
| (termFormat EnglishLanguage abbreviation "abbreviation") | domainEnglishFormat.kif 5049-5049 |
| consequent |
|
|
| (=> (and (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?X ?CBP-TYPE)) (abbreviation ?STRING ?X)) |
Media.kif 3101-3105 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners