Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  overlapsPartially

Sigma KEE - overlapsPartially
overlapsPartially

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 9530-9532
(domain overlapsPartially 1 Object) Merge.kif 9534-9534 The number 1 argument of overlaps partially is an instance of object
(domain overlapsPartially 2 Object) Merge.kif 9535-9535 The number 2 argument of overlaps partially is an instance of object
(instance overlapsPartially BinaryPredicate) Merge.kif 9522-9522 overlaps partially is an instance of binary predicate
(instance overlapsPartially IrreflexiveRelation) Merge.kif 9525-9525 overlaps partially is an instance of irreflexive relation
(instance overlapsPartially PartialValuedRelation) Merge.kif 9524-9524 overlaps partially is an instance of partial valued relation
(instance overlapsPartially SymmetricRelation) Merge.kif 9523-9523 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 9537-9545
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9556-9558

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


(=>
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2)))
    (overlapsPartially ?OBJ1 ?OBJ2))
Merge.kif 9547-9554


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners