TreeView Knowledge Base Browser

appearance as argument number 1

(documentation overlapsPartially ChineseLanguage "(overlapsPartially ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2有共同的部分，但是 ?OBJ1 或 ?OBJ2 都不是对方的一个 part。")	chinese_format.kif 2832-2833
(documentation overlapsPartially EnglishLanguage "(overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other.")	Merge.kif 9667-9669
(documentation overlapsPartially JapaneseLanguage "(overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。")	japanese_format.kif 1576-1577
(domain overlapsPartially 1 Object)	Merge.kif 9671-9671	Die Zahl 1 Argument von overlapsPartially ist ein fall von Object %n{nicht}
(domain overlapsPartially 2 Object)	Merge.kif 9672-9672	Die Zahl 2 Argument von overlapsPartially ist ein fall von Object %n{nicht}
(instance overlapsPartially BinaryPredicate)	Merge.kif 9659-9659	overlapsPartially ist ein fall von BinaryPredicate %n{nicht}
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9662-9662	overlapsPartially ist ein fall von IrreflexiveRelation %n{nicht}
(instance overlapsPartially PartialValuedRelation)	Merge.kif 9661-9661	overlapsPartially ist ein fall von PartialValuedRelation %n{nicht}
(instance overlapsPartially SymmetricRelation)	Merge.kif 9660-9660	overlapsPartially ist ein fall von SymmetricRelation %n{nicht}

appearance as argument number 2

(format ChineseLanguage overlapsPartially "%1 和 %2 %n{doesn't} 部分重叠")	chinese_format.kif 369-369
(format EnglishLanguage overlapsPartially "%1 %n{doesn't} partially overlap%p{s} with %2")	english_format.kif 370-370
(format FrenchLanguage overlapsPartially "%1 %n{ne} recouvre %n{pas} partiellement %2")	french_format.kif 213-213
(format ItalianLanguage overlapsPartially "%1 %n{non} si sovrappone parzialmente a%p{s} a %2")	relations-it.txt 206-206
(format JapaneseLanguage overlapsPartially "%1 は %2 と partially overlap%p{s} し %n{ない}")	japanese_format.kif 2019-2019
(format PortugueseLanguage overlapsPartially "%1 %n{nao} engloba %n parcialmente %2")	portuguese_format.kif 165-165
(format cz overlapsPartially "%1 se ��ste�n� %n{ne}p�ekr�v� s %2")	relations-cz.txt 220-220
(format de overlapsPartially "%1 deckt sich mit %2 teilweise %n{nicht}")	relations-de.txt 492-492
(format hi overlapsPartially "%1 %2 se anshatah ativyaapta %n{nahiin} hai")	relations-hindi.txt 244-244
(format ro overlapsPartially "%1 %n{nu} overlap%t{se suprapune} partially%t{parþial} cu %2")	relations-ro.kif 233-233
(format sv overlapsPartially "%1 överlappar %n{inte} delvis med %2")	relations-sv.txt 230-230
(format tg overlapsPartially "%1 %n ay natataklob meyo sa %2")	relations-tg.txt 394-394
(termFormat ChineseLanguage overlapsPartially "部分重叠")	chinese_format.kif 370-370
(termFormat ChineseTraditionalLanguage overlapsPartially "部分重疊")	domainEnglishFormat.kif 43808-43808
(termFormat EnglishLanguage overlapsPartially "overlap partially")	domainEnglishFormat.kif 43807-43807
(termFormat tg overlapsPartially "natataklob meyo")	relations-tg.txt 395-395

antecedent

(=> (overlapsPartially ?OBJ1 ?OBJ2) (and (not (part ?OBJ1 ?OBJ2)) (not (part ?OBJ2 ?OBJ1)) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))))	Merge.kif 9674-9682	Wenn Object deckt sich mit Object teilweise %n{nicht}, dann Object ist ein teil von Object nicht und Object ist ein teil von Object nicht und es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein teil von ** Object %n{nicht}
(=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9693-9695	Wenn Object deckt sich mit Object teilweise %n{nicht}, dann Object deckt sich mit Object raeumlich %n{nicht}

consequent

(=>
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2)))
    (overlapsPartially ?OBJ1 ?OBJ2))

Merge.kif 9684-9691

Wenn Object ist ein teil von ** Object nicht und ** ** Object ist ein teil von ** Object nicht und ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht},
dann ** Object deckt sich mit ** ** Object teilweise %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: