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 9754-9756
(domain MereologicalProductFn 1 Object) Merge.kif 9749-9749
(domain MereologicalProductFn 2 Object) Merge.kif 9750-9750
(instance MereologicalProductFn BinaryFunction) Merge.kif 9747-9747
(instance MereologicalProductFn SpatialRelation) Merge.kif 9746-9746
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9748-9748
(range MereologicalProductFn Object) Merge.kif 9751-9751
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9752-9752

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
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9730-9730
(termFormat ChineseLanguage MereologicalProductFn "mereological产品") domainEnglishFormat.kif 37175-37175
(termFormat ChineseLanguage MereologicalProductFn "部分积函数") chinese_format.kif 398-398
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品") domainEnglishFormat.kif 37174-37174
(termFormat EnglishLanguage MereologicalProductFn "mereological product") domainEnglishFormat.kif 37173-37173

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


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

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


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


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