Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  third

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 13212-13213
(instance third BinaryPredicate) Mid-level-ontology.kif 13214-13214
(subrelation third part) Mid-level-ontology.kif 13215-13215

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 57874-57874
(termFormat ChineseTraditionalLanguage third "第三") domainEnglishFormat.kif 57873-57873
(termFormat EnglishLanguage third "third") domainEnglishFormat.kif 57872-57872

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 13217-13228

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 13217-13228


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

Show without tree


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