| Supposing(supposing) | | concede, grant, guess, hazard, pretend, say, suppose, venture, yield |
| appearance as argument number 1 |
|
|
| (subclass Supposing LinguisticCommunication) | Merge.kif 13348-13348 | Supposing is a subclass of linguistic communication |
| (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 13349-13351 | Supposing is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SUPPOSE Supposing) (result ?SUPPOSE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Supposition)) |
Mid-level-ontology.kif 15786-15791 | If X is an instance of supposing, Y is a result of X, and Y is an instance of sentence, then Y is an instance of supposition |
|
|
|