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	Le nombre 1 argument de overlapsPartially est une instance de objet
(domain overlapsPartially 2 Object)	Merge.kif 9622-9622	Le nombre 2 argument de overlapsPartially est une instance de objet
(instance overlapsPartially BinaryPredicate)	Merge.kif 9609-9609	overlapsPartially est une instance de pr�dicat binaire
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9612-9612	overlapsPartially est une instance de relation irr�flexive
(instance overlapsPartially PartialValuedRelation)	Merge.kif 9611-9611	overlapsPartially est une instance de relation partielle
(instance overlapsPartially SymmetricRelation)	Merge.kif 9610-9610	overlapsPartially est une instance de relation sym�trique

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 43787-43787
(termFormat EnglishLanguage overlapsPartially "overlap partially")	domainEnglishFormat.kif 43786-43786
(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	Objet recouvre partiellement objet objet est une partie de objet objet est une partie de objet objet objet est une partie de objet objet est une partie de objet
(=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9643-9645	Objet recouvre partiellement objet objet recouvre objet

consequent

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

Merge.kif 9634-9641

Objet est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet
objet recouvre partiellement objet

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

KB Term:			Term intersection

English Word: