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 两者的部分。") 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 9721-9723
(domain MereologicalProductFn 1 Object) Merge.kif 9716-9716
(domain MereologicalProductFn 2 Object) Merge.kif 9717-9717
(instance MereologicalProductFn BinaryFunction) Merge.kif 9714-9714
(instance MereologicalProductFn SpatialRelation) Merge.kif 9713-9713
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9715-9715
(range MereologicalProductFn Object) Merge.kif 9718-9718
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9719-9719

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

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners