| 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 9653-9655 | |
| (documentation overlapsPartially JapaneseLanguage "(overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。") | japanese_format.kif 1576-1577 | |
| (domain overlapsPartially 1 Object) | Merge.kif 9657-9657 | |
| (domain overlapsPartially 2 Object) | Merge.kif 9658-9658 | |
| (instance overlapsPartially BinaryPredicate) | Merge.kif 9645-9645 | |
| (instance overlapsPartially IrreflexiveRelation) | Merge.kif 9648-9648 | |
| (instance overlapsPartially PartialValuedRelation) | Merge.kif 9647-9647 | |
| (instance overlapsPartially SymmetricRelation) | Merge.kif 9646-9646 |
| 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 43808-43808 | |
| (termFormat EnglishLanguage overlapsPartially "overlap partially") | domainEnglishFormat.kif 43807-43807 | |
| (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 9660-9668 | |
| (=> (overlapsPartially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9679-9681 |
| consequent |
|
|
| (=> (and (not (part ?OBJ1 ?OBJ2)) (not (part ?OBJ2 ?OBJ1)) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2))) (overlapsPartially ?OBJ1 ?OBJ2)) |
Merge.kif 9670-9677 |
|
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 is open source software produced by Articulate Software and its partners