appearance as argument number 1 |
(contraryAttribute False True) | Merge.kif 17056-17056 | False is the opposite of true |
(documentation False ChineseLanguage "这代表 TruthValue 属假。") | chinese_format.kif 3797-3797 | |
(documentation False EnglishLanguage "The TruthValue of being false.") | Merge.kif 17057-17057 | |
(instance False TruthValue) | Merge.kif 17055-17055 | False is an instance of truth value |
appearance as argument number 2 |
(termFormat ChineseLanguage False "假") | domainEnglishFormat.kif 23200-23200 | |
(termFormat ChineseTraditionalLanguage False "假") | domainEnglishFormat.kif 23199-23199 | |
(termFormat EnglishLanguage False "false") | domainEnglishFormat.kif 23198-23198 |
consequent |