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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Statement
Statement(statement)ad-lib, comment, conversation_stopper, declaration, explanandum, explanans, explicandum, input, quotation, remark, retrospection, rib, statement, stopper, zinger

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


(documentation Statement EnglishLanguage "A Sentence that is stated to be true.") Mid-level-ontology.kif 11882-11882
(subclass Statement Sentence) Mid-level-ontology.kif 11881-11881 Statement is a subclass of sentence

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


(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 11879-11879 Sentence is disjointly decomposed into statement, supposition, question, request, and order
(subclass Fact Statement) Mid-level-ontology.kif 11891-11891 Fact is a subclass of statement
(termFormat ChineseLanguage Statement "声明") domainEnglishFormat.kif 55036-55036
(termFormat ChineseTraditionalLanguage Statement "聲明") domainEnglishFormat.kif 55035-55035
(termFormat EnglishLanguage Statement "statement") domainEnglishFormat.kif 55034-55034

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


(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 11884-11889
(=>
    (instance ?ARGUE Arguing)
    (exists (?STATEMENT ?ARGUMENT)
        (and
            (patient ?ARGUE ?STATEMENT)
            (instance ?STATEMENT Statement)
            (containsInformation ?STATEMENT ?ARGUMENT)
            (instance ?ARGUMENT Argument))))
Mid-level-ontology.kif 1297-1304


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