MereologicalSumFn |
appearance as argument number 1 |
![]() |
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 |
![]() |
![]() |