Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| format |
| appearance as argument number 1 |
|
| s__instance(s__format,s__TernaryPredicate)
|
Merge.kif 371-371 | format is an instance of ternary predicate |
| s__domain(s__format,n__1,s__Language)
|
Merge.kif 372-372 | The number 1 argument of format is an instance of language |
| s__domain(s__format,n__2,s__Entity)
|
Merge.kif 373-373 | The number 2 argument of format is an instance of entity |
| s__domain(s__format,n__3,s__SymbolicString)
|
Merge.kif 374-374 | The number 3 argument of format is an instance of symbolic string |
| s__documentation(s__format, s__EnglishLanguage, "A relation that specifies how to present an expression in a natural language format_") | Merge.kif 375-376 | The number 3 argument of format is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage, s__format, "%3 is the format for %2 in %1") | domainEnglishFormat.kif 3470-3470 | |
| s__format(s__ChineseTraditionalLanguage, s__format, "%3 是對於 %2 在 %1 的 format ") | domainEnglishFormat.kif 3471-3471 | |
| s__format(s__ChineseLanguage, s__format, "%3 是对于 %2 在 %1 的 format") | domainEnglishFormat.kif 3472-3472 | |
| s__termFormat(s__EnglishLanguage, s__format, "format") | domainEnglishFormat.kif 24724-24724 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__format, "格式") | domainEnglishFormat.kif 24725-24725 | |
| s__termFormat(s__ChineseLanguage, s__format, "格式") | domainEnglishFormat.kif 24726-24726 |
| appearance as argument number 0 |
|
|
|