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 13195-13197 | |
(subclass Supposing LinguisticCommunication) | Merge.kif 13194-13194 | 子類 假如 and 語言交流 |
appearance as argument number 2 |
(termFormat ChineseLanguage Supposing "假如") | domainEnglishFormat.kif 56257-56257 | |
(termFormat ChineseTraditionalLanguage Supposing "假如") | domainEnglishFormat.kif 56256-56256 | |
(termFormat EnglishLanguage Supposing "supposing") | domainEnglishFormat.kif 56255-56255 |
appearance as argument number 3 |
(partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13058-13058 | 劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring |
antecedent |
(=> (and (instance ?SUPPOSE Supposing) (result ?SUPPOSE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Supposition)) |
Mid-level-ontology.kif 14264-14269 |