disjoint
(
disjoint
BecomingDrunk
SoberingUp
)
Mid-level-ontology.kif 16339-16339
Becoming drunk
is
disjoint
from
sobering up
(
disjoint
BeginningOperations
CeasingOperations
)
Mid-level-ontology.kif 16289-16289
Beginning operations
is
disjoint
from
ceasing operations
(
disjoint
BiochemicalWeapon
RadioactiveWeapon
)
WMD.kif 107-107
Biochemical weapon
is
disjoint
from
radioactive weapon
(
disjoint
Bird
Mammal
)
Merge.kif 14562-14562
Bird
is
disjoint
from
mammal
(
disjoint
BluRayDisc
CompactDisc
)
Media.kif 1189-1189
Blu ray disc
is
disjoint
from
compact disc
(
disjoint
BluRayDisc
DVD
)
Media.kif 1190-1190
Blu ray disc
is
disjoint
from
DVD
(
disjoint
CDR
CDROM
)
Media.kif 1180-1180
CDR
is
disjoint
from
CDROM
(
disjoint
Canine
Feline
)
Merge.kif 14612-14612
Canine
is
disjoint
from
feline
(
disjoint
Capstone
Keystone
)
MilitaryProcesses.kif 1084-1084
Capstone
is
disjoint
from
keystone
(
disjoint
CentrifugalMotion
CentripetalMotion
)
Mid-level-ontology.kif 17483-17483
Centrifugal motion
is
disjoint
from
centripetal motion
(
disjoint
ChairmanPublication
JointDoctrine
)
MilitaryProcesses.kif 1026-1026
Chairman publication
is
disjoint
from
joint doctrine
(
disjoint
CharacterKeyPress
SpecialCharacterPress
)
ComputerInput.kif 1393-1393
Character key press
is
disjoint
from
special character press
(
disjoint
ChemicalAcid
ChemicalBase
)
Mid-level-ontology.kif 8722-8722
Chemical acid
is
disjoint
from
chemical base
(
disjoint
ChemicalAgent
OrganicObject
)
WMD.kif 447-447
Chemical agent
is
disjoint
from
organic object
(
disjoint
ChemicalReduction
Oxidation
)
Mid-level-ontology.kif 19561-19561
Chemical reduction
is
disjoint
from
oxidating
(
disjoint
Clothing
StationaryArtifact
)
Merge.kif 15901-15901
Clothing
is
disjoint
from
stationary artifact
(
disjoint
Collection
SelfConnectedObject
)
Merge.kif 1262-1262
Collection
is
disjoint
from
self connected object
(
disjoint
CommonCarrier
ContractCarrier
)
Transportation.kif 3217-3217
Common carrier
is
disjoint
from
contract carrier
(
disjoint
ComplexNumber
RealNumber
)
Merge.kif 2009-2009
Complex number
is
disjoint
from
real number
(
disjoint
ComputerDisplay
Printer
)
ComputerInput.kif 146-146
Computer display
is
disjoint
from
printer
(
disjoint
ComputerKeyboardKey
LeftCIButton
)
ComputerInput.kif 243-243
Computer keyboard key
is
disjoint
from
left CI button
(
disjoint
ComputerKeyboardKey
MiddleCIButton
)
ComputerInput.kif 242-242
Computer keyboard key
is
disjoint
from
middle CI button
(
disjoint
ComputerKeyboardKey
MouseButton
)
ComputerInput.kif 244-244
Computer keyboard key
is
disjoint
from
mouse button
(
disjoint
ComputerKeyboardKey
RightCIButton
)
ComputerInput.kif 241-241
Computer keyboard key
is
disjoint
from
right CI button
(
disjoint
ComputerKeyboardKey
TouchpadKey
)
ComputerInput.kif 367-367
Computer keyboard key
is
disjoint
from
touchpad key
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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