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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MereologicalSumFn
MereologicalSumFn

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


(documentation MereologicalSumFn ChineseLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2)表示 这个 Object 含有属于 ?OBJ1 或 ?OBJ2 的部分。") chinese_format.kif 2849-2850
(documentation MereologicalSumFn EnglishLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2.") Merge.kif 9075-9077
(domain MereologicalSumFn 1 Object) Merge.kif 9069-9069 The number 1 argument of mereological sum is an instance of object
(domain MereologicalSumFn 2 Object) Merge.kif 9070-9070 The number 2 argument of mereological sum is an instance of object
(instance MereologicalSumFn BinaryFunction) Merge.kif 9067-9067 Mereological sum is an instance of binary function
(instance MereologicalSumFn SpatialRelation) Merge.kif 9066-9066 Mereological sum is an instance of spatial relation
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9068-9068 Mereological sum is an instance of total valued relation
(range MereologicalSumFn Object) Merge.kif 9071-9071 The range of mereological sum is an instance of object
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9073-9073 Mereological sum is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9072-9072 Mereological sum is internally related to mereological product

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


(format ChineseLanguage MereologicalSumFn "包括属于 %2 或 %1 的部分") chinese_format.kif 395-395
(format EnglishLanguage MereologicalSumFn "the union of the parts of %1 and %2") english_format.kif 404-404
(termFormat ChineseLanguage MereologicalSumFn "mereological 总和") domainEnglishFormat.kif 37117-37117 "mereological 总和" is the printable form of mereological sum in ChineseLanguage
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数") chinese_format.kif 396-396 "部分总和函数" is the printable form of mereological sum in ChineseLanguage
(termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和") domainEnglishFormat.kif 37116-37116 "mereological 總和" is the printable form of mereological sum in ChineseTraditionalLanguage
(termFormat EnglishLanguage MereologicalSumFn "mereological sum") domainEnglishFormat.kif 37115-37115 "mereological sum" is the printable form of mereological sum in english language

antecedent
-------------------------


(=>
    (equal ?OBJ3
        (MereologicalSumFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (or
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))
Merge.kif 9079-9086

consequent
-------------------------


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 8833-8838 An object is an instance of self connected object if and only if for all another object and a third object
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9182-9189
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 3305-3311
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 10784-10790
(=>
    (instance ?AREA WaterArea)
    (exists (?BED ?HOLE ?WATER)
        (and
            (equal
                (HoleHostFn ?HOLE) ?BED)
            (instance ?WATER Water)
            (properlyFills ?WATER ?HOLE)
            (equal
                (MereologicalSumFn ?BED ?WATER) ?AREA))))
Merge.kif 12985-12992
(=>
    (instance ?Estate RealEstate)
    (or
        (instance ?Estate StationaryArtifact)
        (instance ?Estate LandArea)
        (exists (?Artifact ?Area)
            (and
                (instance ?Artifact StationaryArtifact)
                (instance ?Area LandArea)
                (equal ?Estate
                    (MereologicalSumFn ?Artifact ?Area))))))
FinancialOntology.kif 1300-1309
(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8312-8318
(=>
    (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 10797-10808


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners