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 29138-29140 | |
(domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 29134-29134 | abbreviation の数値 1 引数は 記号文字列 の instance では |
(domain abbreviation 2 Entity) | Mid-level-ontology.kif 29135-29135 | abbreviation の数値 2 引数は エンティティー の instance では |
(instance abbreviation BinaryPredicate) | Mid-level-ontology.kif 29133-29133 | abbreviation は 2進述語 の instance では |
(subrelation abbreviation conventionalShortName) | Mid-level-ontology.kif 29136-29136 | abbreviation は conventionalShortName の subrelation では |
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) | Mid-level-ontology.kif 29147-29147 | acronym は abbreviation の subrelation では |
(subrelation currencyCode abbreviation) | Economy.kif 3953-3953 | currencyCode は abbreviation の subrelation では |
(termFormat ChineseLanguage abbreviation "缩写") | domainEnglishFormat.kif 5055-5055 | currencyCode は abbreviation の subrelation では |
(termFormat ChineseTraditionalLanguage abbreviation "縮寫") | domainEnglishFormat.kif 5054-5054 | currencyCode は abbreviation の subrelation では |
(termFormat EnglishLanguage abbreviation "abbreviation") | domainEnglishFormat.kif 5053-5053 | currencyCode は abbreviation の subrelation では |
consequent |
![]() |
(=> (and (abbreviatedDisplayTitle ?STRING ?CBP_TYPE ?LANGUAGE) (instance ?X ?CBP_TYPE)) (abbreviation ?STRING ?X)) |
Media.kif 3149-3153 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |