third - Sigma Knowledge base Browser

appearance as argument number 1

(documentation third EnglishLanguage "(third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.")	Mid-level-ontology.kif 14081-14082
(instance third BinaryPredicate)	Mid-level-ontology.kif 14083-14083	third is an instance of binary predicate
(subrelation third part)	Mid-level-ontology.kif 14084-14084	third is a subrelation of part

appearance as argument number 2

(format ChineseLanguage third "%1 是 %2 的 third ")	domainEnglishFormat.kif 4778-4778
(format ChineseTraditionalLanguage third "%1 是 %2 的 third ")	domainEnglishFormat.kif 4777-4777
(format EnglishLanguage third "%1 is a third of %2")	domainEnglishFormat.kif 4776-4776
(termFormat ChineseLanguage third "第三")	domainEnglishFormat.kif 57909-57909
(termFormat ChineseTraditionalLanguage third "第三")	domainEnglishFormat.kif 57908-57908
(termFormat EnglishLanguage third "third")	domainEnglishFormat.kif 57907-57907

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 14086-14097

If an object is a third of another object,
then there exist a third object and a fourth object such that the third object is a third of the other object and the fourth object is a third of the other object and the third object is not equal to the object and the fourth object is not equal to the object and the third object is not equal to the fourth object and the other object is equal to the union of the parts of the object and the union of the parts of the third object and the fourth object

consequent

Mid-level-ontology.kif 14086-14097

If an object is a third of another object,
then there exist a third object and a fourth object such that the third object is a third of the other object and the fourth object is a third of the other object and the third object is not equal to the object and the fourth object is not equal to the object and the third object is not equal to the fourth object and the other object is equal to the union of the parts of the object and the union of the parts of the third object and the fourth object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: