TreeView 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 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

Mid-level-ontology.kif 14750-14761

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

KB Term:			Term intersection

English Word: