Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 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}
part
ially 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
overlap
s 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
overlap
s 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
overlap
s with
the other object
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