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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Supposing
Supposing(supposing)concede, grant, guess, hazard, pretend, say, suppose, venture, yield

VerbNet: conjecture-29.5|grant, conjecture-29.5|grant, conjecture-29.5|grant,


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 12206-12208
(subclass Supposing LinguisticCommunication) Merge.kif 12205-12205 Supposing is a subclass of linguistic communication

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


(termFormat ChineseLanguage Supposing "假如") domainEnglishFormat.kif 56150-56150
(termFormat ChineseTraditionalLanguage Supposing "假如") domainEnglishFormat.kif 56149-56149
(termFormat EnglishLanguage Supposing "supposing") domainEnglishFormat.kif 56148-56148

appearance as argument number 3
-------------------------


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12069-12069 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring

antecedent
-------------------------


(=>
    (and
        (instance ?SUPPOSE Supposing)
        (result ?SUPPOSE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Supposition))
Mid-level-ontology.kif 11940-11945


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners