Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lexicon |
| appearance as argument number 1 |
|
| (documentation lexicon EnglishLanguage "associates a SUMO concept with a lexicon word") | engineering.kif 37-37 | |
| (instance lexicon TernaryPredicate) | engineering.kif 38-38 | lexicon is an instance of ternary predicate |
| (domain lexicon 1 SetOrClass) | engineering.kif 39-39 | The number 1 argument of lexicon is an instance of set or class |
| (domain lexicon 2 LexiconCategory) | engineering.kif 40-40 | The number 2 argument of lexicon is an instance of lexicon category |
| (domain lexicon 3 SymbolicString) | engineering.kif 41-41 | The number 3 argument of lexicon is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lexicon "the %2 word for %1 is %3") | domainEnglishFormat.kif 3750-3750 | |
| (format ChineseTraditionalLanguage lexicon "對於 %1 的 %2 word 是 %3 ") | domainEnglishFormat.kif 3751-3751 | |
| (format ChineseLanguage lexicon "对于 %1 的 %2 word 是 %3 ") | domainEnglishFormat.kif 3752-3752 | |
| (termFormat EnglishLanguage lexicon "lexicon") | domainEnglishFormat.kif 34201-34201 | |
| (termFormat ChineseTraditionalLanguage lexicon "詞庫") | domainEnglishFormat.kif 34202-34202 | |
| (termFormat ChineseLanguage lexicon "词库") | domainEnglishFormat.kif 34203-34203 |
| appearance as argument number 0 |
|
|
|