Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - third
third

appearance as argument number 1
-------------------------


(documentation third EnglishLanguage "(third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.") Mid-level-ontology.kif 14743-14744
(instance third BinaryPredicate) Mid-level-ontology.kif 14745-14745 third is an instance of binary predicate
(subrelation third part) Mid-level-ontology.kif 14746-14746 third is a subrelation of part
(domain third 1 Object) Mid-level-ontology.kif 14747-14747 The number 1 argument of third is an instance of object
(domain third 2 Object) Mid-level-ontology.kif 14748-14748 The number 2 argument of third is an instance of object

appearance as argument number 2
-------------------------


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

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 14750-14761 If X is a third of Y, then All of the following hold: (1) there exist Z (2) W such that Z is a third of Y (3) W is a third of Y (4) equal Z (5) X (6) equal W (7) X (8) equal Z (9) W (10) equal Y (11) the union of the parts of X (12) the union of the parts of Z (13) W

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 14750-14761 If X is a third of Y, then All of the following hold: (1) there exist Z (2) W such that Z is a third of Y (3) W is a third of Y (4) equal Z (5) X (6) equal W (7) X (8) equal Z (9) W (10) equal Y (11) the union of the parts of X (12) the union of the parts of Z (13) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners