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