Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsPartially
overlapsPartially

appearance as argument number 1
-------------------------


(instance overlapsPartially BinaryPredicate) Merge.kif 9834-9834 overlap partially is an instance of binary predicate
(instance overlapsPartially SymmetricRelation) Merge.kif 9835-9835 overlap partially is an instance of symmetric relation
(instance overlapsPartially PartialValuedRelation) Merge.kif 9836-9836 overlap partially is an instance of partial valued relation
(instance overlapsPartially IrreflexiveRelation) Merge.kif 9837-9837 overlap partially is an instance of irreflexive relation
(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 9842-9844 overlap partially is an instance of irreflexive relation
(domain overlapsPartially 1 Object) Merge.kif 9846-9846 The number 1 argument of overlap partially is an instance of object
(domain overlapsPartially 2 Object) Merge.kif 9847-9847 The number 2 argument of overlap partially is an instance of object

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage overlapsPartially "overlap partially") domainEnglishFormat.kif 43769-43769
(termFormat ChineseTraditionalLanguage overlapsPartially "部分重疊") domainEnglishFormat.kif 43770-43770
(termFormat ChineseLanguage overlapsPartially "部分重叠") domainEnglishFormat.kif 43771-43771
(format EnglishLanguage overlapsPartially "%1 %n{doesn't} partially overlap%p{s} with %2") english_format.kif 370-370

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


(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (exists (?OBJ3)
            (and
                (part ?OBJ3 ?OBJ1)
                (part ?OBJ3 ?OBJ2)))))		 Merge.kif 9849-9857 If X partially overlaps with Y, then X is not a part of Y, Y is not a part of X, and there exists Z such that Z is a part of X and Z is a part of Y
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 9868-9870 If X partially overlaps with Y, then X and Y overlapsSpatially

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


(=>
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2)))
    (overlapsPartially ?OBJ1 ?OBJ2))		 Merge.kif 9859-9866 If X is not a part of Y, Y is not a part of X, and Z is a part of X and Z is a part of Y, then X partially overlaps with Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners