Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - expressedInLanguage
expressedInLanguage

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 4532-4534
(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4529-4529 The number 1 argument of expressed in language is an instance of linguistic expression
(domain expressedInLanguage 2 Language) Merge.kif 4530-4530 The number 2 argument of expressed in language is an instance of language
(instance expressedInLanguage AsymmetricRelation) Merge.kif 4528-4528 expressed in language is an instance of asymmetric relation
(instance expressedInLanguage BinaryPredicate) Merge.kif 4527-4527 expressed in language is an instance of binary predicate

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
(termFormat ChineseLanguage expressedInLanguage "所表达的语言") chinese_format.kif 212-212
(termFormat ChineseLanguage expressedInLanguage "用语言表达") domainEnglishFormat.kif 22935-22935
(termFormat ChineseTraditionalLanguage expressedInLanguage "用語言表達") domainEnglishFormat.kif 22934-22934
(termFormat EnglishLanguage expressedInLanguage "expressed in language") domainEnglishFormat.kif 22933-22933

antecedent
-------------------------


(=>
    (expressedInLanguage ?EXPRESS ?LANGUAGE)
    (exists (?PROP)
        (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))
Merge.kif 4536-4539

consequent
-------------------------


(=>
    (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)
    (expressedInLanguage ?EXPRESS ?LANGUAGE))
Merge.kif 4541-4543


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