TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Supposing ChineseLanguage "这个 Class 的实例在一个辩论上假设命题属真。例如：约翰考虑如果他中彩票后他会做些什么。")	chinese_format.kif 3263-3264
(documentation Supposing EnglishLanguage "Instances of this Class suppose, for the sake of argument, that a proposition is true. For example, John considered what he would do if he won the lottery.")	Merge.kif 12255-12257
(subclass Supposing LinguisticCommunication)	Merge.kif 12254-12254

appearance as argument number 2

(termFormat ChineseLanguage Supposing "假如")	domainEnglishFormat.kif 56247-56247
(termFormat ChineseTraditionalLanguage Supposing "假如")	domainEnglishFormat.kif 56246-56246
(termFormat EnglishLanguage Supposing "supposing")	domainEnglishFormat.kif 56245-56245

appearance as argument number 3

Merge.kif 12118-12118

antecedent

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

Mid-level-ontology.kif 11915-11920