False |
appearance as argument number 1 |
(contraryAttribute False True) | Merge.kif 17056-17056 | False è opposto a 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 è un' istanza di ValoreDiVerit� |
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 |