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 13403-13404
(instance third BinaryPredicate)	Mid-level-ontology.kif 13405-13405	third is an instance of binary predicate
(subrelation third part)	Mid-level-ontology.kif 13406-13406	third is a subrelation of 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 57916-57916
(termFormat ChineseTraditionalLanguage third "第三")	domainEnglishFormat.kif 57915-57915
(termFormat EnglishLanguage third "third")	domainEnglishFormat.kif 57914-57914

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 13408-13419

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 13408-13419

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: