subProposition |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage subProposition "%1 %n 是 %2 的 subProposition") | chinese_format.kif 187-187 | |
(format EnglishLanguage subProposition "%1 is %n a sub-proposition of %2") | english_format.kif 188-188 | |
(subrelation subField subProposition) | Mid-level-ontology.kif 20638-20638 | sub field is a subrelation of sub proposition |
(subrelation subPlan subProposition) | Merge.kif 4558-4558 | sub plan is a subrelation of sub proposition |
(termFormat ChineseLanguage subProposition "子命题") | chinese_format.kif 188-188 | |
(termFormat ChineseLanguage subProposition "次提案") | domainEnglishFormat.kif 55761-55761 | |
(termFormat ChineseTraditionalLanguage subProposition "次提案") | domainEnglishFormat.kif 55760-55760 | |
(termFormat EnglishLanguage subProposition "sub proposition") | domainEnglishFormat.kif 55759-55759 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |