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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MereologicalProductFn
MereologicalProductFn

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 9096-9098
(domain MereologicalProductFn 1 Object) Merge.kif 9091-9091 The number 1 argument of mereological product is an instance of object
(domain MereologicalProductFn 2 Object) Merge.kif 9092-9092 The number 2 argument of mereological product is an instance of object
(instance MereologicalProductFn BinaryFunction) Merge.kif 9089-9089 Mereological product is an instance of binary function
(instance MereologicalProductFn SpatialRelation) Merge.kif 9088-9088 Mereological product is an instance of spatial relation
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9090-9090 Mereological product is an instance of total valued relation
(range MereologicalProductFn Object) Merge.kif 9093-9093 The range of mereological product is an instance of object
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9094-9094 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 406-406
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9072-9072 Mereological sum is internally related to mereological product
(termFormat ChineseLanguage MereologicalProductFn "mereological产品") domainEnglishFormat.kif 37111-37111 "mereological产品" is the printable form of mereological product in ChineseLanguage
(termFormat ChineseLanguage MereologicalProductFn "部分积函数") chinese_format.kif 398-398 "部分积函数" is the printable form of mereological product in ChineseLanguage
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品") domainEnglishFormat.kif 37110-37110 "mereological產品" is the printable form of mereological product in ChineseTraditionalLanguage
(termFormat EnglishLanguage MereologicalProductFn "mereological product") domainEnglishFormat.kif 37109-37109 "mereological product" is the printable form of mereological product in english language

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


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

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


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


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