| appearance as argument number 1 |
|
| (instance termFormat TernaryPredicate) | Merge.kif 379-379 | term format is an instance of ternary predicate |
| (domain termFormat 1 Language) | Merge.kif 380-380 | The number 1 argument of term format is an instance of language |
| (domain termFormat 2 Entity) | Merge.kif 381-381 | The number 2 argument of term format is an instance of entity |
| (domain termFormat 3 SymbolicString) | Merge.kif 382-382 | The number 3 argument of term format is an instance of symbolic string |
| (documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") | Merge.kif 383-384 | The number 3 argument of term format is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage termFormat "%3 is the printable form of %2 in %1") | domainEnglishFormat.kif 4772-4772 | |
| (format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4773-4773 | |
| (format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ") | domainEnglishFormat.kif 4774-4774 | |
| (termFormat EnglishLanguage termFormat "term format") | domainEnglishFormat.kif 57521-57521 | |
| (termFormat ChineseTraditionalLanguage termFormat "術語格式") | domainEnglishFormat.kif 57522-57522 | |
| (termFormat ChineseLanguage termFormat "术语格式") | domainEnglishFormat.kif 57523-57523 |
| antecedent |
|
|
| (=> (termFormat ?TERM ?LANGUAGE ?STRING) (names ?STRING ?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 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners