Supposition - Sigma Knowledge base Browser

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 11912-11913
(subclass Supposition Sentence)	Mid-level-ontology.kif 11911-11911

appearance as argument number 2

(termFormat ChineseLanguage Supposition "假想")	domainEnglishFormat.kif 56253-56253
(termFormat ChineseTraditionalLanguage Supposition "假想")	domainEnglishFormat.kif 56252-56252
(termFormat EnglishLanguage Supposition "supposition")	domainEnglishFormat.kif 56251-56251

appearance as argument number 3

Mid-level-ontology.kif 11881-11881

consequent

(=>
    (and
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))

Mid-level-ontology.kif 11915-11920