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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Supposition

appearance as argument number 1

(documentation Supposition EnglishLanguage "A Sentence that is assumed to be true, possibly just for the sake of argument.") Mid-level-ontology.kif 14195-14196
(subclass Supposition Sentence) Mid-level-ontology.kif 14194-14194 Supposition est une sous-classe de phrase

appearance as argument number 2

(termFormat ChineseLanguage Supposition "假想") domainEnglishFormat.kif 56275-56275
(termFormat ChineseTraditionalLanguage Supposition "假想") domainEnglishFormat.kif 56274-56274
(termFormat EnglishLanguage Supposition "supposition") domainEnglishFormat.kif 56273-56273

appearance as argument number 3

(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14164-14164 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order


        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 14198-14203

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