truth |
appearance as argument number 1 |
(documentation truth ChineseLanguage "这是把一句 Sentence 和它的 TruthValue 联系的 BinaryPredicate。") | chinese_format.kif 3798-3799 | |
(documentation truth EnglishLanguage "The BinaryPredicate that relates a Sentence to its TruthValue.") | Merge.kif 16992-16993 | |
(domain truth 1 Sentence) | Merge.kif 16990-16990 | Le nombre 1 argument de truth est une instance de phrase |
(domain truth 2 TruthValue) | Merge.kif 16991-16991 | Le nombre 2 argument de truth est une instance de vrai |
(instance truth BinaryPredicate) | Merge.kif 16989-16989 | truth est une instance de pr�dicat binaire |
(subrelation truth property) | Merge.kif 16988-16988 | truth est une sous-relation de property |
appearance as argument number 2 |
(format ChineseLanguage truth "%1 %n 是 %2") | chinese_format.kif 197-197 | |
(format EnglishLanguage truth "%1 is %n %2") | english_format.kif 198-198 | |
(format JapaneseLanguage truth "%1 is %2 %n") | japanese_format.kif 1947-1947 | |
(termFormat ChineseLanguage truth "真值") | chinese_format.kif 198-198 | |
(termFormat ChineseLanguage truth "真相") | domainEnglishFormat.kif 59360-59360 | |
(termFormat ChineseTraditionalLanguage truth "真相") | domainEnglishFormat.kif 59359-59359 | |
(termFormat EnglishLanguage truth "truth") | domainEnglishFormat.kif 59358-59358 |
consequent |