abbreviation |
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 27223-27225 | |
(domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 27219-27219 | The number 1 argument of abbreviation is an instance of symbolic string |
(domain abbreviation 2 Entity) | Mid-level-ontology.kif 27220-27220 | The number 2 argument of abbreviation is an instance of entity |
(instance abbreviation BinaryPredicate) | Mid-level-ontology.kif 27218-27218 | abbreviation is an instance of binary predicate |
(subrelation abbreviation conventionalShortName) | Mid-level-ontology.kif 27221-27221 | abbreviation is a subrelation of conventional short name |
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 3034-3034 | acronym is a subrelation of abbreviation |
(subrelation currencyCode abbreviation) | Economy.kif 3616-3616 | currency code is a subrelation of abbreviation |
(termFormat ChineseLanguage abbreviation "缩写") | domainEnglishFormat.kif 5046-5046 | |
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") | domainEnglishFormat.kif 5045-5045 | |
(termFormat EnglishLanguage abbreviation "abbreviation") | domainEnglishFormat.kif 5044-5044 |
consequent |
(=> (and (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?X ?CBP-TYPE)) (abbreviation ?STRING ?X)) |
Media.kif 3165-3169 |
|
appearance as argument number 0 |