disjoint
(
disjoint
ComputerMenu
ScrollBar
)
ComputerInput.kif 951-951
Computer menu
is
disjoint
from
scroll bar
(
disjoint
ComputerMouse
ComputerKeyboard
)
ComputerInput.kif 398-398
Computer mouse
is
disjoint
from
computer keyboard
(
disjoint
ComputerScreen
ComputerTouchpad
)
ComputerInput.kif 435-435
Computer screen
is
disjoint
from
computer touchpad
(
disjoint
CondominiumBuilding
SingleFamilyResidence
)
Mid-level-ontology.kif 6952-6952
Condominium building
is
disjoint
from
single family residence
(
disjoint
ControlKey
FunctionKey
)
ComputerInput.kif 354-354
Control key
is
disjoint
from
function key
(
disjoint
ControlKey
ShiftKey
)
ComputerInput.kif 353-353
Control key
is
disjoint
from
shift key
(
disjoint
CorporateAccount
PersonalAccount
)
FinancialOntology.kif 1014-1014
Corporate account
is
disjoint
from
personal account
(
disjoint
CorpuscularObject
Substance
)
Merge.kif 1227-1227
Corpuscular object
is
disjoint
from
substance
(
disjoint
Creek
River
)
Geography.kif 5675-5675
Creek
is
disjoint
from
river
(
disjoint
Cursor
InterfaceWindow
)
ComputerInput.kif 1082-1082
Cursor
is
disjoint
from
interface window
(
disjoint
Damaging
Repairing
)
Merge.kif 12271-12271
Damaging
is
disjoint
from
repairing
(
disjoint
DayTime
NightTime
)
Merge.kif 8860-8860
Day time
is
disjoint
from
night time
(
disjoint
DeciduousTree
EvergreenTree
)
Geography.kif 6389-6389
Deciduous tree
is
disjoint
from
evergreen tree
(
disjoint
Decoding
Encoding
)
Merge.kif 12710-12710
Decoding
is
disjoint
from
encoding
(
disjoint
Deposit
Withdrawal
)
FinancialOntology.kif 427-427
Deposit
is
disjoint
from
withdrawal
(
disjoint
DisplacementHullWaterVehicle
PlaningHullWaterVehicle
)
Transportation.kif 2298-2298
Displacement hull water vehicle
is
disjoint
from
planing hull water vehicle
(
disjoint
DomesticAnimal
Human
)
Mid-level-ontology.kif 20018-20018
Domestic animal
is
disjoint
from
human
(
disjoint
Dormitory
SingleFamilyResidence
)
Mid-level-ontology.kif 6980-6980
Dormitory
is
disjoint
from
single family residence
(
disjoint
DownArrowKey
LeftArrowKey
)
ComputerInput.kif 316-316
Down arrow key
is
disjoint
from
left arrow key
(
disjoint
DownArrowKey
RightArrowKey
)
ComputerInput.kif 315-315
Down arrow key
is
disjoint
from
right arrow key
(
disjoint
Dreaming
IntentionalProcess
)
Mid-level-ontology.kif 18235-18235
Dreaming
is
disjoint
from
intentional process
(
disjoint
Earphone
Loudspeaker
)
ComputerInput.kif 508-508
Earphone
is
disjoint
from
loudspeaker
(
disjoint
ExpiredCard
ValidCard
)
FinancialOntology.kif 3526-3526
Expired card
is
disjoint
from
valid card
(
disjoint
ExternalDiskDrive
InternalHardDisk
)
ComputerInput.kif 745-745
External disk drive
is
disjoint
from
internal hard disk
(
disjoint
FHALoan
ConventionalMortgage
)
FinancialOntology.kif 1535-1535
FHA loan
is
disjoint
from
conventional mortgage
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