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 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

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 8833-8838	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 9182-9189	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 3305-3311	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 10784-10790	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 12985-12992	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 8312-8318	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 10797-10808	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: