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