Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| localShortName |
| appearance as argument number 1 |
|
| (documentation localShortName EnglishLanguage "(localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name used for ?THING in its local area or language.") | Mid-level-ontology.kif 16366-16368 | |
| (subrelation localShortName names) | Mid-level-ontology.kif 16369-16369 | local short name is a subrelation of names |
| (instance localShortName BinaryPredicate) | Mid-level-ontology.kif 16370-16370 | local short name is an instance of binary predicate |
| (domain localShortName 1 SymbolicString) | Mid-level-ontology.kif 16371-16371 | The number 1 argument of local short name is an instance of symbolic string |
| (domain localShortName 2 Entity) | Mid-level-ontology.kif 16372-16372 | The number 2 argument of local short name is an instance of entity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage localShortName "%2 is %n a local short name of %1") | domainEnglishFormat.kif 1561-1561 | |
| (format ChineseTraditionalLanguage localShortName "%2 %n 是 %1 的 local 簡稱") | domainEnglishFormat.kif 1562-1562 | |
| (format ChineseLanguage localShortName "%2 %n 是 %1 的 local 简称") | domainEnglishFormat.kif 1563-1563 | |
| (termFormat EnglishLanguage localShortName "local short name") | domainEnglishFormat.kif 34855-34855 | |
| (termFormat ChineseTraditionalLanguage localShortName "本地簡稱") | domainEnglishFormat.kif 34856-34856 | |
| (termFormat ChineseLanguage localShortName "本地简称") | domainEnglishFormat.kif 34857-34857 |
| appearance as argument number 0 |
|
|
|