Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| termFormat |
| appearance as argument number 1 |
|
| s__instance(s__termFormat,s__TernaryPredicate)
|
Merge.kif 378-378 | term format is an instance of ternary predicate |
| s__domain(s__termFormat,n__1,s__Language)
|
Merge.kif 379-379 | The number 1 argument of term format is an instance of language |
| s__domain(s__termFormat,n__2,s__Entity)
|
Merge.kif 380-380 | The number 2 argument of term format is an instance of entity |
| s__domain(s__termFormat,n__3,s__SymbolicString)
|
Merge.kif 381-381 | The number 3 argument of term format is an instance of symbolic string |
| s__documentation(s__termFormat, s__EnglishLanguage, "A relation that specifies how to present a term in a natural language format_") | Merge.kif 382-383 | The number 3 argument of term format is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage, s__termFormat, "%3 is the printable form of %2 in %1") | domainEnglishFormat.kif 4772-4772 | |
| s__format(s__ChineseTraditionalLanguage, s__termFormat, "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4773-4773 | |
| s__format(s__ChineseLanguage, s__termFormat, "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4774-4774 | |
| s__termFormat(s__EnglishLanguage, s__termFormat, "term format") | domainEnglishFormat.kif 57521-57521 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__termFormat, "術語格式") | domainEnglishFormat.kif 57522-57522 | |
| s__termFormat(s__ChineseLanguage, s__termFormat, "术语格式") | domainEnglishFormat.kif 57523-57523 |
| antecedent |
|
|
| ! [V__TERM,V__STRING,V__LANGUAGE] : (((s__instance(V__TERM,s__Language) & s__instance(V__STRING,s__SymbolicString)) => (s__termFormat(V__TERM,V__LANGUAGE,V__STRING) => s__names(V__STRING,V__TERM))) )
|
Media.kif 31-33 | If X is the printable form of Y in Z, then Z has name X |
| appearance as argument number 0 |
|
|
|