| appearance as argument number 1 |
|
| (documentation expressedInLanguage ChineseLanguage "(expressedInLanguage ?EXPRESS ?LANG) 的意思是 LinguisticExpression ?EXPRESS 是 Language ?LANG 的一部分。") | chinese_format.kif 2201-2202 | |
| (documentation expressedInLanguage EnglishLanguage "(expressedInLanguage ?EXPRESS ?LANG) means that the LinguisticExpression ?EXPRESS is part of the Language ?LANG.") | Merge.kif 4621-4623 | |
| (documentation expressedInLanguage JapaneseLanguage "(expressedInLanguage ?EXPRESS ?LANG) とは、 LinguisticExpression ?EXPRESS が Language ?LANG の一部であることを意味する。") | japanese_format.kif 865-866 | |
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4618-4618 | |
| (domain expressedInLanguage 2 Language) | Merge.kif 4619-4619 | |
| (instance expressedInLanguage AsymmetricRelation) | Merge.kif 4617-4617 | |
| (instance expressedInLanguage BinaryPredicate) | Merge.kif 4616-4616 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage expressedInLanguage "%1 %n 是以 %2 语言表达") | chinese_format.kif 211-211 | |
| (format EnglishLanguage expressedInLanguage "%1 is %n expressed in language %2") | english_format.kif 212-212 | |
| (format FrenchLanguage expressedInLanguage "%1 est %n exprim� dans le langage %2") | french_format.kif 125-125 | |
| (format ItalianLanguage expressedInLanguage "%1 è espresso nella lingua %2") | relations-it.txt 105-105 | |
| (format JapaneseLanguage expressedInLanguage "%1 は %2 語で expressed され %n") | japanese_format.kif 1954-1954 | |
| (format PortugueseLanguage expressedInLanguage "%1 e' %n exprimido na linguagem %2") | portuguese_format.kif 77-77 | |
| (format de expressedInLanguage "%1 ist in Sprache %2 ausgedrueckt") | relations-de.txt 272-272 | |
| (format hi expressedInLanguage "%1 %2 kii bhaashha men abhivyakta hotaa hai") | relations-hindi.txt 145-145 | |
| (format ro expressedInLanguage "%1 %n{nu} este expressed%t{exprimat} în limba %2") | relations-ro.kif 144-144 | |
| (format sv expressedInLanguage "%1 uttrycks %n{inte} i språlet %2") | relations-sv.txt 130-130 | |
| (format tg expressedInLanguage "%1 ay nagsalita sa wika %2") | relations-tg.txt 220-220 | |
| (termFormat ChineseLanguage expressedInLanguage "所表达的语言") | chinese_format.kif 212-212 | |
| (termFormat ChineseLanguage expressedInLanguage "用语言表达") | domainEnglishFormat.kif 22942-22942 | |
| (termFormat ChineseTraditionalLanguage expressedInLanguage "用語言表達") | domainEnglishFormat.kif 22941-22941 | |
| (termFormat EnglishLanguage expressedInLanguage "expressed in language") | domainEnglishFormat.kif 22940-22940 | |
| (termFormat de expressedInLanguage "inSpracheAusgedrueckt") | terms-de.txt 87-87 | |
| (termFormat tg expressedInLanguage "nagsalita sa wika") | relations-tg.txt 221-221 |
| antecedent |
|
|
| (=> (expressedInLanguage ?EXPRESS ?LANGUAGE) (exists (?PROP) (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE))) |
Merge.kif 4625-4628 |
| consequent |
|
|
| (=> (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE) (expressedInLanguage ?EXPRESS ?LANGUAGE)) |
Merge.kif 4630-4632 |
|
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