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 domain MereologicalSumFn, 1 and Object
(domain MereologicalSumFn 2 Object) Merge.kif 9070-9070 domain MereologicalSumFn, 2 and Object
(instance MereologicalSumFn BinaryFunction) Merge.kif 9067-9067 instance MereologicalSumFn and BinaryFunction
(instance MereologicalSumFn SpatialRelation) Merge.kif 9066-9066 instance MereologicalSumFn and SpatialRelation
(instance MereologicalSumFn TotalValuedRelation) Merge.kif 9068-9068 instance MereologicalSumFn and TotalValuedRelation
(range MereologicalSumFn Object) Merge.kif 9071-9071 range MereologicalSumFn and Object
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn) Merge.kif 9073-9073 relatedInternalConcept MereologicalSumFn and MereologicalDifferenceFn
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9072-9072 relatedInternalConcept MereologicalSumFn and MereologicalProductFn

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 termFormat ChineseLanguage, MereologicalSumFn and "mereological 总和"
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数") chinese_format.kif 396-396 termFormat ChineseLanguage, MereologicalSumFn and "部分总和函数"
(termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和") domainEnglishFormat.kif 37116-37116 termFormat ChineseTraditionalLanguage, MereologicalSumFn and "mereological 總和"
(termFormat EnglishLanguage MereologicalSumFn "mereological sum") domainEnglishFormat.kif 37115-37115 termFormat EnglishLanguage, MereologicalSumFn and "mereological sum"

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 instance Object and SelfConnectedObject Object 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