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 9519-9521
(domain overlapsPartially 1 Object)	Merge.kif 9523-9523	The number 1 argument of overlaps partially is an instance of object
(domain overlapsPartially 2 Object)	Merge.kif 9524-9524	The number 2 argument of overlaps partially is an instance of object
(instance overlapsPartially BinaryPredicate)	Merge.kif 9511-9511	overlaps partially is an instance of binary predicate
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9514-9514	overlaps partially is an instance of irreflexive relation
(instance overlapsPartially PartialValuedRelation)	Merge.kif 9513-9513	overlaps partially is an instance of partial valued relation
(instance overlapsPartially SymmetricRelation)	Merge.kif 9512-9512	overlaps partially is an instance of symmetric relation

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
(termFormat ChineseLanguage overlapsPartially "部分重叠")	chinese_format.kif 370-370
(termFormat ChineseTraditionalLanguage overlapsPartially "部分重疊")	domainEnglishFormat.kif 43752-43752
(termFormat EnglishLanguage overlapsPartially "overlaps partially")	domainEnglishFormat.kif 43751-43751

antecedent

(=> (overlapsPartially ?OBJ1 ?OBJ2) (and (not (part ?OBJ1 ?OBJ2)) (not (part ?OBJ2 ?OBJ1)) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))))	Merge.kif 9526-9534	If an object partially overlaps with another object, then the object is not a part of the other object and the other object is not a part of the object and there exists a third object such that the third object is a part of the object and the third object is a part of the other object
(=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 9545-9547	If an object partially overlaps with another object, then the object and the other object is overlapsSpatially

consequent

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

Merge.kif 9536-9543

If an object is not a part of another object and the other object is not a part of the object and a third object is a part of the object and the third object is a part of the other object,
then the object partially overlaps with the other object

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

KB Term:			Term intersection

English Word: