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
disjointRelation
Sigma KEE - disjointRelation
disjointRelation
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1502-1503
No TPTP formula. May not be expressible in strict first order.
Merge.kif 413-415
No TPTP formula. May not be expressible in strict first order.
Merge.kif 410-410
The number 1 argument of
disjoint relation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 411-411
The number 2 argument of
disjoint relation
is an
instance
of
relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 407-407
disjoint relation
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 408-408
disjoint relation
is an
instance
of
irreflexive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 409-409
disjoint relation
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 412-412
disjoint relation
is
internally
related to
disjoint
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 289-289
No TPTP formula. May not be expressible in strict first order.
english_format.kif 294-294
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19851-19851
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19850-19850
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19849-19849
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 445-451
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 417-422
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 424-429
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 431-436
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 438-443
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23609-23609
ancestor organization
and
sub organization
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 976-976
contains
and
part
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4116-4116
crosses
and
connected
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2546-2546
decreases likelihood
and
independent probability
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3938-3938
deprives norm
and
confers norm
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7119-7119
disapproves
and
desires
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7103-7103
dislikes
and
wants
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2544-2544
increases likelihood
and
decreases likelihood
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2545-2545
increases likelihood
and
independent probability
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1680-1680
manner
and
attribute
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9473-9473
meets spatially
and
overlaps spatially
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22805-22805
mutual stranger
and
mutual acquaintance
are
disjoint
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 1647-1647
referee
and
plays
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2460-2460
resource
and
instrument
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2459-2459
resource
and
result
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2461-2461
result
and
instrument
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22820-22820
spouse
and
domestic partner
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14132-14132
stays
and
home
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22790-22790
stranger
and
acquaintance
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 673-673
sub attribute
and
successor attribute
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 639-639
subsumed external concept
and
subsuming external concept
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 637-637
synonymous external concept
and
subsumed external concept
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 638-638
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