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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Statement
Statement(声明)

appearance as argument number 1
-------------------------


(documentation Statement EnglishLanguage "A Sentence that is stated to be true.") Mid-level-ontology.kif 14233-14233
(subclass Statement Sentence) Mid-level-ontology.kif 14232-14232 声明句子subclass

appearance as argument number 2
-------------------------


(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14230-14230 句子 分拆成不相交的 声明, 假想, , 请求, 和 订购
(subclass Fact Statement) Mid-level-ontology.kif 14242-14242 事实声明subclass
(termFormat ChineseLanguage Statement "声明") domainEnglishFormat.kif 55122-55122
(termFormat ChineseTraditionalLanguage Statement "聲明") domainEnglishFormat.kif 55121-55121
(termFormat EnglishLanguage Statement "statement") domainEnglishFormat.kif 55120-55120

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


(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 14235-14240
(=>
    (instance ?ARGUE Arguing)
    (exists (?STATEMENT ?ARGUMENT)
        (and
            (patient ?ARGUE ?STATEMENT)
            (instance ?STATEMENT Statement)
            (containsInformation ?STATEMENT ?ARGUMENT)
            (instance ?ARGUMENT Argument))))
Mid-level-ontology.kif 909-916


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