appearance as argument number 1 |
![]() |
(contraryAttribute False True) | Merge.kif 16955-16955 | 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 16956-16956 | |
(instance False TruthValue) | Merge.kif 16954-16954 | False is an instance of truth value |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage False "假") | domainEnglishFormat.kif 23206-23206 | |
(termFormat ChineseTraditionalLanguage False "假") | domainEnglishFormat.kif 23205-23205 | |
(termFormat EnglishLanguage False "false") | domainEnglishFormat.kif 23204-23204 |
consequent |
![]() |
![]() |
![]() |