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
disjoint
Sigma KEE - disjoint
disjoint
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1500-1501
No TPTP formula. May not be expressible in strict first order.
Merge.kif 395-397
No TPTP formula. May not be expressible in strict first order.
Merge.kif 393-393
The number 1 argument of
disjoint
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 394-394
The number 2 argument of
disjoint
is an
instance
of
class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 391-391
disjoint
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 392-392
disjoint
is an
instance
of
symmetric relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.
english_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.
Merge.kif 569-569
disjoint decomposition
is
internally
related to
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 412-412
disjoint relation
is
internally
related to
disjoint
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 286-286
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19839-19839
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19838-19838
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19837-19837
antecedent
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 399-405
If
a class
is
disjoint
from
another class
,
then there doesn't exist
an entity
such that
the entity
is an
instance
of
the class
and
the entity
is an
instance
of
the other class
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2896-2901
If
a class
is
disjointly
decomposed
into
another class
,
a third class
, and
a fourth class
,
then
the other class
is
disjoint
from
the third class
and
the third class
is
disjoint
from
the fourth class
and
the fourth class
is
disjoint
from
the other class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2885-2894
If
a class
is
disjointly
decomposed
into @ROW,
then for all
a third class
and
a fourth class
if
the third class
is a
member
of (@ROW) and
the fourth class
is a
member
of (@ROW) and
the third class
is not
equal
to
the fourth class
,
then
the third class
is
disjoint
from
the fourth class
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 974-974
Above the line
is
disjoint
from
below the line
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8694-8694
Afternoon
is
disjoint
from
Evening
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 360-360
AltKey
is
disjoint
from
ControlKey
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 362-362
AltKey
is
disjoint
from
FunctionKey
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 361-361
AltKey
is
disjoint
from
ShiftKey
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1310-1310
AltKeyHoldDown
is
disjoint
from
ControlKeyHoldDown
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1309-1309
AltKeyHoldDown
is
disjoint
from
ShiftKeyHoldDown
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7836-7836
Anaerobic exercise device
is
disjoint
from
aerobic exercise device
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18458-18458
Ante meridiem
is
disjoint
from
post meridiem
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6597-6597
Apartment building
is
disjoint
from
single family residence
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 295-295
ArrowKey
is
disjoint
from
EnterKey
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14142-14142
Article
is
disjoint
from
book
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 172-172
Artillery cannon
is
disjoint
from
military tank
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4997-4997
Asphalt
is
disjoint
from
fossil fuel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13769-13769
Astronomical body
is
disjoint
from
geographic area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12110-12110
Attaching
is
disjoint
from
detaching
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1653-1653
AudioInput
is
disjoint
from
JoystickMotion
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1654-1654
AudioInput
is
disjoint
from
KeyboardAction
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1652-1652
AudioInput
is
disjoint
from
TouchSurfaceAction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10072-10072
Autonomic process
is
disjoint
from
intentional process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15162-15162
Barn
is
disjoint
from
residential building
No TPTP formula. May not be expressible in strict first order.
Sports.kif 671-671
Baseball steal
is
disjoint
from
baseball hit
No TPTP formula. May not be expressible in strict first order.
Sports.kif 670-670
Baseball steal
is
disjoint
from
baseball walk
No TPTP formula. May not be expressible in strict first order.
Sports.kif 679-679
Baseball strike
is
disjoint
from
baseball hit
No TPTP formula. May not be expressible in strict first order.
Sports.kif 627-627
Baseball walk
is
disjoint
from
baseball hit
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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