| Supposing | |
| 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 13312-13314 | |
| (subclass Supposing LinguisticCommunication) | Merge.kif 13311-13311 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Supposing "假如") | domainEnglishFormat.kif 56261-56261 | |
| (termFormat ChineseTraditionalLanguage Supposing "假如") | domainEnglishFormat.kif 56260-56260 | |
| (termFormat EnglishLanguage Supposing "supposing") | domainEnglishFormat.kif 56259-56259 |
| appearance as argument number 3 |
|
|
| (partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13175-13175 |
| antecedent |
|
|
| (=> (and (instance ?SUPPOSE Supposing) (result ?SUPPOSE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Supposition)) |
Mid-level-ontology.kif 15636-15641 |
|
|
|