Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MereologicalProductFn

Sigma KEE - MereologicalProductFn
MereologicalProductFn

appearance as argument number 1
-------------------------


(documentation MereologicalProductFn ChineseLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2)表示 Object 含有属于 ?OBJ1 和 ?OBJ2 两者的部分。") Merge.kif 9768-9769
(documentation MereologicalProductFn EnglishLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2)denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.") Merge.kif 9765-9767
(domain MereologicalProductFn 1 Object) Merge.kif 9761-9761
(domain MereologicalProductFn 2 Object) Merge.kif 9762-9762
(instance MereologicalProductFn BinaryFunction) Merge.kif 9759-9759
(instance MereologicalProductFn SpatialRelation) Merge.kif 9758-9758
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9760-9760
(range MereologicalProductFn Object) Merge.kif 9763-9763
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9764-9764

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 239-239
(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 PortugueseLanguage MereologicalProductFn "a intersecao das partes de %1 e %2") portuguese_format.kif 181-181
(format ar MereologicalProductFn "تَقَاطُع أجْزَاء %1 و %2") arabic_format.kif 166-166
(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
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9741-9741
(termFormat ChineseLanguage MereologicalProductFn "部分积函数") chinese_format.kif 398-398
(termFormat EnglishLanguage MereologicalProductFn "mereological product") domainEnglishFormat.kif 6618-6618
(termFormat ar MereologicalProductFn "«تَقَاطُع أجْزَاء»") arabic_format.kif 616-616

antecedent
-------------------------


(=>
    (equal ?OBJ3
        (MereologicalProductFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (and
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))
Merge.kif 9771-9778

consequent
-------------------------


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9853-9860


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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