third |
appearance as argument number 1 |
(documentation third EnglishLanguage "(third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.") | Mid-level-ontology.kif 13212-13213 | |
(instance third BinaryPredicate) | Mid-level-ontology.kif 13214-13214 | third est une instance de pr�dicat binaire |
(subrelation third part) | Mid-level-ontology.kif 13215-13215 | third est une sous-relation de 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 57874-57874 | |
(termFormat ChineseTraditionalLanguage third "第三") | domainEnglishFormat.kif 57873-57873 | |
(termFormat EnglishLanguage third "third") | domainEnglishFormat.kif 57872-57872 |
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 13217-13228 |
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 13217-13228 |