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 14509-14510
(domain third 1 Object)	Mid-level-ontology.kif 14513-14513	The number 1 argument of third is an instance of object
(domain third 2 Object)	Mid-level-ontology.kif 14514-14514	The number 2 argument of third is an instance of object
(instance third BinaryPredicate)	Mid-level-ontology.kif 14511-14511	third is an instance of binary predicate
(subrelation third part)	Mid-level-ontology.kif 14512-14512	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 57879-57879
(termFormat ChineseTraditionalLanguage third "第三")	domainEnglishFormat.kif 57878-57878
(termFormat EnglishLanguage third "third")	domainEnglishFormat.kif 57877-57877

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 14516-14527

If third an object and another object,
then there exist a third object and a fourth object such that third the third object and the other object and third the fourth object and the other object and equal the third object and the object and equal the fourth object and the object and equal the third object and the fourth object and equal the other object and 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 14516-14527

If third an object and another object,
then there exist a third object and a fourth object such that third the third object and the other object and third the fourth object and the other object and equal the third object and the object and equal the fourth object and the object and equal the third object and the fourth object and equal the other object and 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: