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

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3263-3264
No TPTP formula. May not be expressible in strict first order. Merge.kif 13173-13175
No TPTP formula. May not be expressible in strict first order. Merge.kif 13172-13172 Supposing is a subclass of linguistic communication

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56257-56257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56256-56256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56255-56255

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13036-13036 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14265-14270


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