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 的部分。") 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 9814-9816
(documentation MereologicalSumFn JapaneseLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る Objectを示す。") japanese_format.kif 1593-1594
(domain MereologicalSumFn 1 Object) Merge.kif 9808-9808 部分总和函数 的 1 数量 是 客体 的 instance
(domain MereologicalSumFn 2 Object) Merge.kif 9809-9809 部分总和函数 的 2 数量 是 客体 的 instance
(instance MereologicalSumFn BinaryFunction) Merge.kif 9806-9806 部分总和函数 是 二元函数 的 instance
(instance MereologicalSumFn SpatialRelation) Merge.kif 9805-9805 部分总和函数 是 空间关系 的 instance
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9807-9807 部分总和函数 是 总值关系 的 instance
(range MereologicalSumFn Object) Merge.kif 9810-9810 部分总和函数 的 range 是 客体 的实例
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9812-9812 部分总和函数 和 部分差异函数 是 内部相关
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9811-9811 部分总和函数 和 部分积函数 是 内部相关

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 401-401
(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 JapaneseLanguage MereologicalSumFn "%1 と %2 の union") japanese_format.kif 2030-2030
(format PortugueseLanguage MereologicalSumFn "a uniao das partes de %1 e %2") portuguese_format.kif 180-180
(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 ro MereologicalSumFn "union%t{reuniunea} pãrþilor din %1 ºi %2") relations-ro.kif 248-248
(format sv MereologicalSumFn "unionen av delarna av %1 och %2") relations-sv.txt 248-248
(format tg MereologicalSumFn "ang pagkakaisa ng bahagi ng %1 at %2") relations-tg.txt 362-362
(termFormat ChineseLanguage MereologicalSumFn "mereological 总和") domainEnglishFormat.kif 37193-37193
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数") chinese_format.kif 396-396
(termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和") domainEnglishFormat.kif 37192-37192
(termFormat EnglishLanguage MereologicalSumFn "mereological sum") domainEnglishFormat.kif 37191-37191

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


(=>
    (and
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2))
        (connected ?PART1 ?PART2))
    (instance ?OBJ SelfConnectedObject))		 Merge.kif 9543-9547
(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9537-9541
(=>
    (equal ?OBJ3
        (MereologicalSumFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (or
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))		 Merge.kif 9818-9825

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


(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 9916-9923
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))		 Mid-level-ontology.kif 2842-2848
(=>
    (half ?HALF ?WHOLE)
    (exists (?OTHER)
        (and
            (half ?OTHER ?WHOLE)
            (not
                (equal ?OTHER ?HALF))
            (equal ?WHOLE
                (MereologicalSumFn ?HALF ?OTHER)))))		 Mid-level-ontology.kif 13176-13182
(=>
    (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 14146-14153
(=>
    (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 1359-1368
(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))		 Mid-level-ontology.kif 8586-8592
(=>
    (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 13189-13200


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