appearance as argument number 1 |
(documentation True ChineseLanguage "这代表 TruthValue 属真。") | chinese_format.kif 3796-3796 | |
(documentation True EnglishLanguage "The TruthValue of being true.") | Merge.kif 17004-17004 | |
(instance True TruthValue) | Merge.kif 17003-17003 | True is an instance of truth value |
appearance as argument number 2 |
(contraryAttribute False True) | Merge.kif 17007-17007 | False is the opposite of true |
(termFormat ChineseLanguage True "真正") | domainEnglishFormat.kif 59324-59324 | |
(termFormat ChineseTraditionalLanguage True "真正") | domainEnglishFormat.kif 59323-59323 | |
(termFormat EnglishLanguage True "true") | domainEnglishFormat.kif 59322-59322 |
consequent |