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 14234-14234
(subclass Statement Sentence) Mid-level-ontology.kif 14233-14233 Statement is a subclass of sentence

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


(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14231-14231 Sentence is disjointly decomposed into statement, supposition, question, request, and order
(subclass Fact Statement) Mid-level-ontology.kif 14243-14243 Fact is a subclass of statement
(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 14236-14241
(=>
    (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