| appearance as argument number 1 |
|
| (documentation representsInLanguage ChineseLanguage "这是一个十分概括的谓词， (representsInLanguage ?THING ?ENTITY ?LANGUAGE)的意思是 LinguisticExpression ?THING 在 Language ?LANGUAGE 代表 ?ENTITY。") | chinese_format.kif 2172-2174 | |
| (documentation representsInLanguage EnglishLanguage "A very general predicate. (representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the LinguisticExpression ?THING stands for ?ENTITY in the Language ?LANGUAGE.") | Merge.kif 4308-4311 | |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4304-4304 | |
| (domain representsInLanguage 2 Entity) | Merge.kif 4305-4305 | |
| (domain representsInLanguage 3 Language) | Merge.kif 4306-4306 | |
| (instance representsInLanguage TernaryPredicate) | Merge.kif 4303-4303 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage representsInLanguage "%1 %n{doesn't} 在 %3 语言 表示 %2") | chinese_format.kif 231-231 | |
| (format EnglishLanguage representsInLanguage "%1 %n{doesn't} represent%p{s} %2 in the language %3") | english_format.kif 235-235 | |
| (subrelation titleInLanguage representsInLanguage) | Media.kif 3079-3079 | |
| (termFormat ChineseLanguage representsInLanguage "所表示的语言") | chinese_format.kif 232-232 | |
| (termFormat ChineseLanguage representsInLanguage "用语言表示") | domainEnglishFormat.kif 49463-49463 | |
| (termFormat ChineseTraditionalLanguage representsInLanguage "用語言表示") | domainEnglishFormat.kif 49462-49462 | |
| (termFormat EnglishLanguage representsInLanguage "represents in language") | domainEnglishFormat.kif 49461-49461 |
| antecedent |
|
|
| (=> (representsInLanguage ?REP ?ENTITY ?LANGUAGE) (exists (?AGENT) (representsForAgent ?REP ?ENTITY ?AGENT))) |
Merge.kif 4313-4316 |
| consequent |
|
|
| (<=> (expressedInLanguage ?EXPRESS ?LANGUAGE) (exists (?PROP) (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE))) |
Merge.kif 4438-4441 | |
| (=> (and (instance ?TRANSLATE Translating) (patient ?TRANSLATE ?EXPRESSION1) (result ?TRANSLATE ?EXPRESSION2)) (exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY) (and (representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1) (representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2) (not (equal ?LANGUAGE1 ?LANGUAGE2))))) |
Merge.kif 11808-11817 | |
| (=> (originalExpressedInLanguage ?PROP ?LANG) (exists (?PHYS ?TIME) (and (instance ?PHYS LinguisticExpression) (representsInLanguage ?PHYS ?PROP ?LANG) (equal ?TIME (WhenFn ?PHYS)) (not (exists (?BEFORE ?OTHER) (and (instance ?OTHER LinguisticExpression) (represents ?OTHER ?PROP) (equal ?BEFORE (WhenFn ?OTHER)) (before ?BEFORE ?TIME))))))) |
Music.kif 1449-1462 |
|
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