third |
appearance as argument number 1 |
(documentation third EnglishLanguage "(third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.") | Mid-level-ontology.kif 13184-13185 | |
(instance third BinaryPredicate) | Mid-level-ontology.kif 13186-13186 | third è un' istanza di PredicatoBinario |
(subrelation third part) | Mid-level-ontology.kif 13187-13187 | third è una sottorelazione di part |
appearance as argument number 2 |
(format ChineseLanguage third "%1 是 %2 的 third ") | domainEnglishFormat.kif 4774-4774 | |
(format ChineseTraditionalLanguage third "%1 是 %2 的 third ") | domainEnglishFormat.kif 4773-4773 | |
(format EnglishLanguage third "%1 is a third of %2") | domainEnglishFormat.kif 4772-4772 | |
(termFormat ChineseLanguage third "第三") | domainEnglishFormat.kif 57872-57872 | |
(termFormat ChineseTraditionalLanguage third "第三") | domainEnglishFormat.kif 57871-57871 | |
(termFormat EnglishLanguage third "third") | domainEnglishFormat.kif 57870-57870 |
antecedent |
(=> (third ?T ?W) (exists (?O1 ?O2) (and (third ?O1 ?W) (third ?O2 ?W) (not (equal ?O1 ?T)) (not (equal ?O2 ?T)) (not (equal ?O1 ?O2)) (equal ?W (MereologicalSumFn ?T (MereologicalSumFn ?O1 ?O2)))))) |
Mid-level-ontology.kif 13189-13200 |
consequent |
(=> (third ?T ?W) (exists (?O1 ?O2) (and (third ?O1 ?W) (third ?O2 ?W) (not (equal ?O1 ?T)) (not (equal ?O2 ?T)) (not (equal ?O1 ?O2)) (equal ?W (MereologicalSumFn ?T (MereologicalSumFn ?O1 ?O2)))))) |
Mid-level-ontology.kif 13189-13200 |