Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
disjointRelation
Sigma KEE - disjointRelation
disjointRelation
appearance as argument number 1
(
documentation
disjointRelation
ChineseLanguage
"这个术语把两种
Relation
连接。 (
disjointRelation
?REL1 ?REL2) 的意思是指这两种关系没有共同的元组。")
chinese_format.kif 1502-1503
(
documentation
disjointRelation
EnglishLanguage
"This predicate relates two
Relation
s. (
disjointRelation
?REL1 ?REL2) means that the two relations have no tuples in common.")
Merge.kif 408-410
(
documentation
disjointRelation
JapaneseLanguage
"この述部は、2つの
Relation
s を関連付ける。 (
disjointRelation
?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味で ある。")
japanese_format.kif 65-67
(
documentation
disjointRelation
SpanishLanguage
"Este predicado se relaciona con dos
Relation
s. (
disjointRelation
?REL1 ?REL2) significa que las dos relaciones no tienen ninguna tupla en común.")
spanish_format.kif 75-77
(
domain
disjointRelation
1
Relation
)
Merge.kif 405-405
The number 1 argument of
disjoint relation
is an
instance
of
relation
(
domain
disjointRelation
2
Relation
)
Merge.kif 406-406
The number 2 argument of
disjoint relation
is an
instance
of
relation
(
instance
disjointRelation
BinaryPredicate
)
Merge.kif 402-402
disjoint relation
is an
instance
of
binary predicate
(
instance
disjointRelation
IrreflexiveRelation
)
Merge.kif 403-403
disjoint relation
is an
instance
of
irreflexive relation
(
instance
disjointRelation
PartialValuedRelation
)
Merge.kif 404-404
disjoint relation
is an
instance
of
partial valued relation
(
relatedInternalConcept
disjointRelation
disjoint
)
Merge.kif 407-407
disjoint relation
is
internally
related to
disjoint
appearance as argument number 2
(
format
ChineseLanguage
disjointRelation
"%1 和 %2 %n 是
disjoint
关系")
chinese_format.kif 289-289
(
format
EnglishLanguage
disjointRelation
"%1 and %2 are %n
disjoint
")
english_format.kif 294-294
(
format
FrenchLanguage
disjointRelation
"%1 et %2 sont %n
disjoint
")
french_format.kif 167-167
(
format
ItalianLanguage
disjointRelation
"%1 e %2 sono %n disgiunti")
relations-it.txt 77-77
(
format
JapaneseLanguage
disjointRelation
"%1 と %2 は
disjoint
では %n")
japanese_format.kif 1987-1987
(
format
PortugueseLanguage
disjointRelation
"%1 e %2 sao %n disjuntos")
portuguese_format.kif 119-119
(
format
cb
disjointRelation
"%1 at %2 %n ay lahi")
relations-cb.txt 111-111
(
format
cz
disjointRelation
"%1 and %2 are %n
disjoint
")
relations-cz.txt 183-183
(
format
de
disjointRelation
"%1 und %2 werden %n{nicht} disjunkt")
relations-de.txt 376-376
(
format
hi
disjointRelation
"%1 aura %2 asanyukta %n hain")
relations-hindi.txt 117-117
(
format
ro
disjointRelation
"%1 ºi %2 %n{nu} sunt
disjoint
%t{disjuncte}")
relations-ro.kif 187-187
(
format
sv
disjointRelation
"%1 och %2 är %n{inte} disjunkta")
relations-sv.txt 174-174
(
format
tg
disjointRelation
"%1 at %2 %n ay iba")
relations-tg.txt 170-170
(
termFormat
ChineseLanguage
disjointRelation
"不相交关系")
chinese_format.kif 290-290
(
termFormat
ChineseLanguage
disjointRelation
"不相交的关系")
domainEnglishFormat.kif 19869-19869
(
termFormat
ChineseTraditionalLanguage
disjointRelation
"不相交的關係")
domainEnglishFormat.kif 19868-19868
(
termFormat
EnglishLanguage
disjointRelation
"disjoint relation")
domainEnglishFormat.kif 19867-19867
(
termFormat
de
disjointRelation
"disjunkteRelation")
terms-de.txt 117-117
antecedent
(=>
(
and
(
instance
?REL1
Predicate
)
(
instance
?REL2
Predicate
)
(
disjointRelation
?REL1 ?REL2)
(?REL1 @ROW2))
(
not
(?REL2 @ROW2)))
Merge.kif 440-446
If
a relation
is an
instance
of
predicate
and
another relation
is an
instance
of
predicate
and
the relation
and
the other relation
are
disjoint
and
the relation
@ROW2,
then
the other relation
@ROW2
consequent
(=>
(
and
(
domain
?REL1 ?NUMBER ?CLASS1)
(
domain
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 412-417
If the number
a positive integer
argument of
a relation
is an
instance
of
a class
and the number
the positive integer
argument of
another relation
is an
instance
of
another class
and
the class
is
disjoint
from
the other class
,
then
the relation
and
the other relation
are
disjoint
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 419-424
If the number
a positive integer
argument of
a relation
is a
subclass
of
a class
and the number
the positive integer
argument of
another relation
is a
subclass
of
another class
and
the class
is
disjoint
from
the other class
,
then
the relation
and
the other relation
are
disjoint
(=>
(
and
(
range
?REL1 ?CLASS1)
(
range
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
If the
range
of
a function
is an instance of
a class
and the
range
of
another function
is an instance of
another class
and
the class
is
disjoint
from
the other class
,
then
the function
and
the other function
are
disjoint
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 433-438
If the values returned by
a function
are
subclasses
of
a kind of class
and the values returned by
another function
are
subclasses
of
another kind of class
and
a kind of class
is
disjoint
from
another kind of class
,
then
the function
and
the other function
are
disjoint
appearance as argument number 0
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 25816-25816
ancestor organization
and
sub organization
are
disjoint
(
disjointRelation
contains
part
)
Merge.kif 1028-1028
contains
and
part
are
disjoint
(
disjointRelation
crosses
connected
)
Merge.kif 4225-4225
crosses
and
connected
are
disjoint
(
disjointRelation
decreasesLikelihood
independentProbability
)
Merge.kif 2611-2611
decreases likelihood
and
independent probability
are
disjoint
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4029-4029
deprives norm
and
confers norm
are
disjoint
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 8604-8604
disapproves
and
desires
are
disjoint
(
disjointRelation
dislikes
wants
)
Mid-level-ontology.kif 8588-8588
dislikes
and
wants
are
disjoint
(
disjointRelation
increasesLikelihood
decreasesLikelihood
)
Merge.kif 2609-2609
increases likelihood
and
decreases likelihood
are
disjoint
(
disjointRelation
increasesLikelihood
independentProbability
)
Merge.kif 2610-2610
increases likelihood
and
independent probability
are
disjoint
(
disjointRelation
manner
attribute
)
Merge.kif 1744-1744
manner
and
attribute
are
disjoint
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9710-9710
meets spatially
and
overlap spatially
are
disjoint
(
disjointRelation
mutualStranger
mutualAcquaintance
)
Mid-level-ontology.kif 24999-24999
mutual stranger
and
mutual acquaintance
are
disjoint
(
disjointRelation
referee
plays
)
ComputingBrands.kif 1679-1679
referee
and
plays
are
disjoint
(
disjointRelation
resource
instrument
)
Merge.kif 2525-2525
resource
and
instrument
are
disjoint
(
disjointRelation
resource
result
)
Merge.kif 2524-2524
resource
and
result
are
disjoint
(
disjointRelation
result
instrument
)
Merge.kif 2526-2526
result
and
instrument
are
disjoint
(
disjointRelation
spouse
domesticPartner
)
Mid-level-ontology.kif 25014-25014
spouse
and
domestic partner
are
disjoint
(
disjointRelation
stays
home
)
Merge.kif 14546-14546
stays
and
home
are
disjoint
(
disjointRelation
stranger
acquaintance
)
Mid-level-ontology.kif 24984-24984
stranger
and
acquaintance
are
disjoint
(
disjointRelation
subAttribute
successorAttribute
)
Merge.kif 677-677
sub attribute
and
successor attribute
are
disjoint
(
disjointRelation
subsumedExternalConcept
subsumingExternalConcept
)
Merge.kif 636-636
subsumed external concept
and
subsuming external concept
are
disjoint
(
disjointRelation
synonymousExternalConcept
subsumedExternalConcept
)
Merge.kif 634-634
synonymous external concept
and
subsumed external concept
are
disjoint
(
disjointRelation
synonymousExternalConcept
subsumingExternalConcept
)
Merge.kif 635-635
synonymous external concept
and
subsuming external concept
are
disjoint
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