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 的部分。") Merge.kif 9804-9805
(documentation MereologicalSumFn EnglishLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2.") Merge.kif 9801-9803
(domain MereologicalSumFn 1 Object) Merge.kif 9796-9796 The number 1 argument of mereological sum is an instance of object
(domain MereologicalSumFn 2 Object) Merge.kif 9797-9797 The number 2 argument of mereological sum is an instance of object
(instance MereologicalSumFn BinaryFunction) Merge.kif 9794-9794 Mereological sum is an instance of binary function
(instance MereologicalSumFn SpatialRelation) Merge.kif 9793-9793 Mereological sum is an instance of spatial relation
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9795-9795 Mereological sum is an instance of total valued relation
(range MereologicalSumFn Object) Merge.kif 9798-9798 The range of mereological sum is an instance of object
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9800-9800 Mereological sum is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9799-9799 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 238-238
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数") chinese_format.kif 396-396 "部分总和函数" is the printable form of mereological sum in ChineseLanguage
(termFormat EnglishLanguage MereologicalSumFn "mereological sum") domainEnglishFormat.kif 6619-6619 "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 9807-9814

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9545-9550 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 9920-9927
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 3310-3316
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))
Mid-level-ontology.kif 10779-10785
(=>
    (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 14135-14142
(=>
    (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 1301-1310
(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8310-8316
(=>
    (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 10792-10803


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