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 | Il numero 1 argomenti di truth è un istanza di Frase |
(domain truth 2 TruthValue) | Merge.kif 16991-16991 | Il numero 2 argomenti di truth è un istanza di ValoreDiVerit� |
(instance truth BinaryPredicate) | Merge.kif 16989-16989 | truth è un' istanza di PredicatoBinario |
(subrelation truth property) | Merge.kif 16988-16988 | truth è una sottorelazione di 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 |