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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsPartially
overlapsPartially

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


(documentation overlapsPartially ChineseLanguage "(overlapsPartially ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2有共同的部分,但是 ?OBJ1 或 ?OBJ2 都不是对方的一个 part。") Merge.kif 13317-13318
(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 13313-13315
(documentation overlapsPartially JapaneseLanguage "(overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。") Merge.kif 13320-13321
(domain overlapsPartially 1 Object) Merge.kif 13323-13323
(domain overlapsPartially 2 Object) Merge.kif 13324-13324
(instance overlapsPartially BinaryPredicate) Merge.kif 13305-13305
(instance overlapsPartially IrreflexiveRelation) Merge.kif 13308-13308
(instance overlapsPartially PartialValuedRelation) Merge.kif 13307-13307
(instance overlapsPartially SymmetricRelation) Merge.kif 13306-13306

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 517-517
(format JapaneseLanguage overlapsPartially "%1 は %2 と partially overlap%p{s} し %n{ない}") english_format.kif 518-518
(termFormat ChineseLanguage overlapsPartially "部分重叠") chinese_format.kif 370-370
(termFormat ChineseTraditionalLanguage overlapsPartially "部分重疊") domainEnglishFormat.kif 43692-43692
(termFormat EnglishLanguage overlapsPartially "overlaps partially") domainEnglishFormat.kif 43691-43691

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


(<=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (exists (?OBJ3)
            (and
                (part ?OBJ3 ?OBJ1)
                (part ?OBJ3 ?OBJ2)))))
Merge.kif 13326-13334
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 13336-13338


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners