MereologicalSumFn - Sigma Knowledge base Browser

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 9199-9201
(domain MereologicalSumFn 1 Object)	Merge.kif 9193-9193	domain MereologicalSumFn, 1 and Object
(domain MereologicalSumFn 2 Object)	Merge.kif 9194-9194	domain MereologicalSumFn, 2 and Object
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9191-9191	instance MereologicalSumFn and BinaryFunction
(instance MereologicalSumFn SpatialRelation)	Merge.kif 9190-9190	instance MereologicalSumFn and SpatialRelation
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9192-9192	instance MereologicalSumFn and TotalValuedRelation
(range MereologicalSumFn Object)	Merge.kif 9195-9195	range MereologicalSumFn and Object
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)	Merge.kif 9197-9197	relatedInternalConcept MereologicalSumFn and MereologicalDifferenceFn
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)	Merge.kif 9196-9196	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 37114-37114
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数")	chinese_format.kif 396-396
(termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和")	domainEnglishFormat.kif 37113-37113
(termFormat EnglishLanguage MereologicalSumFn "mereological sum")	domainEnglishFormat.kif 37112-37112

antecedent

(=>
    (equal ?OBJ3
        (MereologicalSumFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (or
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))

Merge.kif 9203-9210

equal Object and MereologicalSumFn Object and Object
Object part Object and Object part Object and Object part Object and Object

consequent

(<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))	Merge.kif 8957-8962	instance Object and SelfConnectedObject Object Object equal Object and MereologicalSumFn Object and Object connected Object and Object
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 9306-9313	hole Hole and SelfConnectedObject hole Hole and SelfConnectedObject Hole part Hole and MereologicalSumFn Hole and Hole hole Hole and SelfConnectedObject
(=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2)))))	Mid-level-ontology.kif 3311-3317	attribute Object and SymmetricShape Object Object copy Object and Object equal Object and MereologicalSumFn Object and Object
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER)))))	Mid-level-ontology.kif 10810-10816	half Object and Object Object half Object and Object equal Object and Object equal Object and MereologicalSumFn Object and Object
(=> (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 13103-13110	instance Object and WaterArea Object Hole and Object equal HoleHostFn Hole and Object instance Object and Water properlyFills Object and Hole equal MereologicalSumFn Object and Object and Object
(=> (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 Object and RealEstate instance Object and StationaryArtifact instance Object and LandArea Object Object instance Object and StationaryArtifact instance Object and LandArea equal Object and MereologicalSumFn Object and Object
(=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen))))	Mid-level-ontology.kif 8292-8298	instance Object and Hydrocarbon Object Object equal Object and MereologicalSumFn Object and Object instance Object and Carbon instance Object and Hydrogen
(=> (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 10823-10834	third Object and Object Object Object third Object and Object third Object and Object equal Object and Object equal Object and Object equal Object and Object equal Object and MereologicalSumFn Object and MereologicalSumFn Object and Object

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: