MereologicalProductFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MereologicalProductFn ChineseLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2)表示 Object 含有属于 ?OBJ1 和 ?OBJ2 两者的部分。")	chinese_format.kif 2851-2852
(documentation MereologicalProductFn EnglishLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.")	Merge.kif 9878-9880
(documentation MereologicalProductFn JapaneseLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2) は、?OBJ1 と ?OBJ2 の両方に属するパーツからなる Object を示す。")	japanese_format.kif 1595-1596
(domain MereologicalProductFn 1 Object)	Merge.kif 9873-9873	The number 1 argument of mereological product is an instance of object
(domain MereologicalProductFn 2 Object)	Merge.kif 9874-9874	The number 2 argument of mereological product is an instance of object
(instance MereologicalProductFn BinaryFunction)	Merge.kif 9871-9871	Mereological product is an instance of binary function
(instance MereologicalProductFn SpatialRelation)	Merge.kif 9870-9870	Mereological product is an instance of spatial relation
(instance MereologicalProductFn TotalValuedRelation)	Merge.kif 9872-9872	Mereological product is an instance of total valued relation
(range MereologicalProductFn Object)	Merge.kif 9875-9875	The range of mereological product is an instance of object
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)	Merge.kif 9876-9876	Mereological product is internally related to mereological difference

appearance as argument number 2

(format ChineseLanguage MereologicalProductFn "包括 %1 和 %2 相交的部分")	chinese_format.kif 397-397
(format EnglishLanguage MereologicalProductFn "the intersection of the parts of %1 and %2")	english_format.kif 403-403
(format FrenchLanguage MereologicalProductFn "l'intersection des parties de %1 et %2")	french_format.kif 229-229
(format ItalianLanguage MereologicalProductFn "l' intersezione delle parti di %1 e %2")	relations-it.txt 184-184
(format JapaneseLanguage MereologicalProductFn "%1 と %2 の部分の intersection")	japanese_format.kif 2031-2031
(format PortugueseLanguage MereologicalProductFn "a intersecao das partes de %1 e %2")	portuguese_format.kif 181-181
(format de MereologicalProductFn "der durchschnitt von den teilen von %1 und %2")	relations-de.txt 1020-1020
(format hi MereologicalProductFn "%1 aura %2 ke bhaagon kaa sarvanishhTha")	relations-hindi.txt 222-222
(format ro MereologicalProductFn "intersection%t{intersecþia} pãrþilor din %1 ºi %2")	relations-ro.kif 249-249
(format sv MereologicalProductFn "snittet av delarna av %1 och %2")	relations-sv.txt 249-249
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)	Merge.kif 9854-9854	Mereological sum is internally related to mereological product
(termFormat ChineseLanguage MereologicalProductFn "mereological产品")	domainEnglishFormat.kif 37213-37213	Mereological sum is internally related to mereological product
(termFormat ChineseLanguage MereologicalProductFn "部分积函数")	chinese_format.kif 398-398	Mereological sum is internally related to mereological product
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品")	domainEnglishFormat.kif 37212-37212	Mereological sum is internally related to mereological product
(termFormat EnglishLanguage MereologicalProductFn "mereological product")	domainEnglishFormat.kif 37211-37211	Mereological sum is internally related to mereological product
(termFormat de MereologicalProductFn "MereologischesProduktFn")	terms-de.txt 311-311	Mereological sum is internally related to mereological product

antecedent

(=>
    (equal ?OBJ3
        (MereologicalProductFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (and
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))

Merge.kif 9882-9889

If an object is equal to the intersection of the parts of another object and a third object,
then for all a fourth object the fourth object is a part of the object if and only if the fourth object is a part of the other object and the fourth object is a part of the third object

consequent

(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))

Merge.kif 9950-9957

If a hole is a hole in a self connected object and the hole is a hole in another self connected object,
then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected 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: