appearance as argument number 1 |
![]() |
(documentation True ChineseLanguage "这代表 TruthValue 属真。") | chinese_format.kif 3796-3796 | |
(documentation True EnglishLanguage "The TruthValue of being true.") | Merge.kif 17157-17157 | |
(instance True TruthValue) | Merge.kif 17156-17156 | True is an instance of truth value |
appearance as argument number 2 |
![]() |
(contraryAttribute False True) | Merge.kif 17160-17160 | False is the opposite of true |
(termFormat ChineseLanguage True "真正") | domainEnglishFormat.kif 59308-59308 | False is the opposite of true |
(termFormat ChineseTraditionalLanguage True "真正") | domainEnglishFormat.kif 59307-59307 | False is the opposite of true |
(termFormat EnglishLanguage True "true") | domainEnglishFormat.kif 59306-59306 | False is the opposite of true |
consequent |
![]() |
![]() |
![]() |