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 9826-9827
(documentation MereologicalProductFn EnglishLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2)denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.") Merge.kif 9823-9825
(domain MereologicalProductFn 1 Object) Merge.kif 9819-9819 部分积函数 的 1 数量 是 客体instance
(domain MereologicalProductFn 2 Object) Merge.kif 9820-9820 部分积函数 的 2 数量 是 客体instance
(instance MereologicalProductFn BinaryFunction) Merge.kif 9817-9817 部分积函数二元函数instance
(instance MereologicalProductFn SpatialRelation) Merge.kif 9816-9816 部分积函数空间关系instance
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9818-9818 部分积函数总值关系instance
(range MereologicalProductFn Object) Merge.kif 9821-9821 部分积函数range客体 的实例
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9822-9822 部分积函数部分差异函数 是 内部相关

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
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9799-9799 部分总和函数部分积函数 是 内部相关
(termFormat ChineseLanguage MereologicalProductFn "部分积函数") chinese_format.kif 398-398 termFormat ChineseLanguage, 部分积函数 and "部分积函数"
(termFormat EnglishLanguage MereologicalProductFn "mereological product") domainEnglishFormat.kif 6618-6618 termFormat EnglishLanguage, 部分积函数 and "mereological product"

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


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

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


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


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