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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MereologicalSumFn

Sigma KEE - MereologicalSumFn
MereologicalSumFn

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


(documentation MereologicalSumFn ChineseLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2)表示 这个 Object 含有属于 ?OBJ1 或 ?OBJ2 的部分。") Merge.kif 9746-9747
(documentation MereologicalSumFn EnglishLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2.") Merge.kif 9743-9745
(domain MereologicalSumFn 1 Object) Merge.kif 9738-9738
(domain MereologicalSumFn 2 Object) Merge.kif 9739-9739
(instance MereologicalSumFn BinaryFunction) Merge.kif 9736-9736
(instance MereologicalSumFn SpatialRelation) Merge.kif 9735-9735
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9737-9737
(range MereologicalSumFn Object) Merge.kif 9740-9740
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9742-9742
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9741-9741

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
(format FrenchLanguage MereologicalSumFn "l' union des parties de %1 et %2") french_format.kif 228-228
(format ItalianLanguage MereologicalSumFn "l' unione delle parti di %1 e %2") relations-it.txt 185-185
(format PortugueseLanguage MereologicalSumFn "a uniao das partes de %1 e %2") portuguese_format.kif 180-180
(format ar MereologicalSumFn "اٍجْتِمَاع أجْزَاء %1 و %2") arabic_format.kif 165-165
(format de MereologicalSumFn "die vereinigung von den teilen von %1 und %2") relations-de.txt 1017-1017
(format hi MereologicalSumFn "%1 aura %2 ke bhaagon kaa sanyojana") relations-hindi.txt 223-223
(format tg MereologicalSumFn "ang pagkakaisa ng bahagi ng %1 at %2") relations-tg.txt 362-362
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数") chinese_format.kif 396-396
(termFormat EnglishLanguage MereologicalSumFn "mereological sum") domainEnglishFormat.kif 6619-6619
(termFormat ar MereologicalSumFn "«اٍجْتِمَاع أجْزَاء»") arabic_format.kif 615-615

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


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

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9490-9495
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9862-9869
(=>
    (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 14077-14084
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners