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


KB Term:  Term intersection
English Word: 

Sigma KEE - MereologicalProductFn
MereologicalProductFn

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


(instance MereologicalProductFn SpatialRelation) Merge.kif 9963-9963 Mereological product is an instance of spatial relation
(instance MereologicalProductFn BinaryFunction) Merge.kif 9964-9964 Mereological product is an instance of binary function
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9965-9965 Mereological product is an instance of total valued relation
(domain MereologicalProductFn 1 Object) Merge.kif 9966-9966 The number 1 argument of mereological product is an instance of object
(domain MereologicalProductFn 2 Object) Merge.kif 9967-9967 The number 2 argument of mereological product is an instance of object
(range MereologicalProductFn Object) Merge.kif 9968-9968 The range of mereological product is an instance of object
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9969-9969 Mereological product is internally related to mereological difference
(documentation MereologicalProductFn EnglishLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.") Merge.kif 9971-9973 Mereological product is internally related to mereological difference

appearance as argument number 2
-------------------------


(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9947-9947 Mereological sum is internally related to mereological product
(termFormat EnglishLanguage MereologicalProductFn "mereological product") domainEnglishFormat.kif 37187-37187 Mereological sum is internally related to mereological product
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品") domainEnglishFormat.kif 37188-37188 Mereological sum is internally related to mereological product
(termFormat ChineseLanguage MereologicalProductFn "mereological产品") domainEnglishFormat.kif 37189-37189 Mereological sum is internally related to mereological product
(format EnglishLanguage MereologicalProductFn "the intersection of the parts of %1 and %2") english_format.kif 403-403 Mereological sum is internally related to mereological product

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


(=>
    (equal ?OBJ3
        (MereologicalProductFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (and
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))		 Merge.kif 9975-9982 If equal X, the intersection of the parts of Y, and Z, then For all Object W: W is a part of X if, only if W is a part of Y, and W is a part of Z

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))		 Merge.kif 10043-10050 If X is a hole in Y and X is a hole in Z, then there exists W such that W is a proper part of the intersection of the parts of Y, Z, and X is a hole in W


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