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 14536-14537
(domain third 1 Object)	Mid-level-ontology.kif 14540-14540	The number 1 argument of third is an instance of object
(domain third 2 Object)	Mid-level-ontology.kif 14541-14541	The number 2 argument of third is an instance of object
(instance third BinaryPredicate)	Mid-level-ontology.kif 14538-14538	third is an instance of binary predicate
(subrelation third part)	Mid-level-ontology.kif 14539-14539	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 14543-14554

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 14543-14554

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: