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 9813-9815
(documentation MereologicalProductFn JapaneseLanguage "(MereologicalProductFn ?OBJ1 ?OBJ2) は、?OBJ1 と ?OBJ2 の両方に属するパーツからなる Object を示す。") japanese_format.kif 1595-1596
(domain MereologicalProductFn 1 Object) Merge.kif 9808-9808 Le nombre 1 argument de MereologicalProductFn est une instance de objet
(domain MereologicalProductFn 2 Object) Merge.kif 9809-9809 Le nombre 2 argument de MereologicalProductFn est une instance de objet
(instance MereologicalProductFn BinaryFunction) Merge.kif 9806-9806 MereologicalProductFn est une instance de fonction binaire
(instance MereologicalProductFn SpatialRelation) Merge.kif 9805-9805 MereologicalProductFn est une instance de relation spatial
(instance MereologicalProductFn TotalValuedRelation) Merge.kif 9807-9807 MereologicalProductFn est une instance de relation total
(range MereologicalProductFn Object) Merge.kif 9810-9810 Le domaine de MereologicalProductFn est une instance de objet
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn) Merge.kif 9811-9811 MereologicalProductFn est reli� � l'int�rieur de SUMO � MereologicalDifferenceFn

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
(format FrenchLanguage MereologicalProductFn "l'intersection des parties de %1 et %2") french_format.kif 229-229
(format ItalianLanguage MereologicalProductFn "l' intersezione delle parti di %1 e %2") relations-it.txt 184-184
(format JapaneseLanguage MereologicalProductFn "%1 と %2 の部分の intersection") japanese_format.kif 2031-2031
(format PortugueseLanguage MereologicalProductFn "a intersecao das partes de %1 e %2") portuguese_format.kif 181-181
(format de MereologicalProductFn "der durchschnitt von den teilen von %1 und %2") relations-de.txt 1020-1020
(format hi MereologicalProductFn "%1 aura %2 ke bhaagon kaa sarvanishhTha") relations-hindi.txt 222-222
(format ro MereologicalProductFn "intersection%t{intersecþia} pãrþilor din %1 ºi %2") relations-ro.kif 249-249
(format sv MereologicalProductFn "snittet av delarna av %1 och %2") relations-sv.txt 249-249
(relatedInternalConcept MereologicalSumFn MereologicalProductFn) Merge.kif 9789-9789 MereologicalSumFn est reli� � l'int�rieur de SUMO � MereologicalProductFn
(termFormat ChineseLanguage MereologicalProductFn "mereological产品") domainEnglishFormat.kif 37187-37187
(termFormat ChineseLanguage MereologicalProductFn "部分积函数") chinese_format.kif 398-398
(termFormat ChineseTraditionalLanguage MereologicalProductFn "mereological產品") domainEnglishFormat.kif 37186-37186
(termFormat EnglishLanguage MereologicalProductFn "mereological product") domainEnglishFormat.kif 37185-37185

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


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

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


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


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