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 9617-9619
(documentation overlapsPartially JapaneseLanguage "(overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。")	japanese_format.kif 1576-1577
(domain overlapsPartially 1 Object)	Merge.kif 9621-9621	部分重叠的 1 数量是客体的 instance
(domain overlapsPartially 2 Object)	Merge.kif 9622-9622	部分重叠的 2 数量是客体的 instance
(instance overlapsPartially BinaryPredicate)	Merge.kif 9609-9609	部分重叠是二元谓语的 instance
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9612-9612	部分重叠是非自反关系的 instance
(instance overlapsPartially PartialValuedRelation)	Merge.kif 9611-9611	部分重叠是部分值关系的 instance
(instance overlapsPartially SymmetricRelation)	Merge.kif 9610-9610	部分重叠是对称关系的 instance

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 43775-43775
(termFormat EnglishLanguage overlapsPartially "overlap partially")	domainEnglishFormat.kif 43774-43774
(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 9624-9632	如果客体和另一个客体部分重叠，然后那个客体不是那个另外客体的 part 和那个另外客体不是那个客体的 part 和有存在第三客体这样那个第三客体是那个客体的 part 和那个第三客体是那个另外客体的 part
(=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9643-9645	如果客体和另一个客体部分重叠，然后那个客体和那个另外客体重叠

consequent

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

Merge.kif 9634-9641

如果客体不是另一个客体的 part 和那个另外客体不是那个客体的 part 和第三客体是那个客体的 part 和那个第三客体是那个另外客体的 part，
然后那个客体和那个另外客体部分重叠

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

KB Term:			Term intersection

English Word: