Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ComputerProgram
Procedure
)
Merge.kif 16783-16783
Computer program
is a
subclass
of
procedure
(
subclass
ComputerProgram
Software
)
ComputerInput.kif 813-813
Computer program
is a
subclass
of
software
(
subclass
WebBrowser
ComputerProgram
)
UXExperimentalTerms.kif 2097-2097
Web browser
is a
subclass
of
computer program
(
subclass
SearchEngine
ComputerProgram
)
UXExperimentalTerms.kif 2360-2360
Search engine
is a
subclass
of
computer program
(
subclass
SoftwareSystem
ComputerProgram
)
QoSontology.kif 268-268
Software system
is a
subclass
of
computer program
(
subclass
StartupBlock
ComputerProgram
)
QoSontology.kif 365-365
Startup block
is a
subclass
of
computer program
(
subclass
ShutdownBlock
ComputerProgram
)
QoSontology.kif 406-406
Shutdown block
is a
subclass
of
computer program
(
subclass
AutomaticApplication
ComputerProgram
)
QoSontology.kif 578-578
Automatic application
is a
subclass
of
computer program
(
subclass
RMStartApplication
ComputerProgram
)
QoSontology.kif 594-594
RMStartApplication
is a
subclass
of
computer program
(
subclass
ConsoleApplication
ComputerProgram
)
QoSontology.kif 608-608
Console application
is a
subclass
of
computer program
(
subclass
ResourceManagementProgram
ComputerProgram
)
QoSontology.kif 612-612
Resource management program
is a
subclass
of
computer program
(
subclass
MonitoringProgram
ComputerProgram
)
QoSontology.kif 857-857
Monitoring program
is a
subclass
of
computer program
(
subclass
Utility
ComputerProgram
)
QoSontology.kif 2021-2021
Utility
is a
subclass
of
computer program
(
subclass
AppleGarageBand
ComputerProgram
)
ComputingBrands.kif 881-881
GarageBand
is a
subclass
of
computer program
(
subclass
AppleIMovie
ComputerProgram
)
ComputingBrands.kif 887-887
IMovie
is a
subclass
of
computer program
(
subclass
AppleIMessages
ComputerProgram
)
ComputingBrands.kif 893-893
IMessages
is a
subclass
of
computer program
(
subclass
AppleICloud
ComputerProgram
)
ComputingBrands.kif 899-899
ICloud
is a
subclass
of
computer program
(
subclass
AppleILife
ComputerProgram
)
ComputingBrands.kif 905-905
ILife
is a
subclass
of
computer program
(
subclass
AppleIWork
ComputerProgram
)
ComputingBrands.kif 911-911
IWork
is a
subclass
of
computer program
(
subclass
AppleFaceTime
ComputerProgram
)
ComputingBrands.kif 917-917
FaceTime
is a
subclass
of
computer program
(
subclass
AppleFairPlay
ComputerProgram
)
ComputingBrands.kif 955-955
FairPlay
is a
subclass
of
computer program
(
subclass
AppleSetupAssistant
ComputerProgram
)
ComputingBrands.kif 981-981
Setup Assistant
is a
subclass
of
computer program
(
subclass
AppleMigrationAssistant
ComputerProgram
)
ComputingBrands.kif 988-988
Migration Assistant
is a
subclass
of
computer program
(
subclass
ApplicationProgrammerInterface
ComputerProgram
)
ComputingBrands.kif 1911-1911
Application Programmer Interface
is a
subclass
of
computer program
(
subclass
App
ComputerProgram
)
ComputingBrands.kif 1947-1947
App
is a
subclass
of
computer program
(
subclass
AppleAppStore
ComputerProgram
)
ComputingBrands.kif 1970-1970
Apple app store
is a
subclass
of
computer program
(
subclass
AVCTP
ComputerProgram
)
ComputingBrands.kif 2169-2169
Audio/Video Control Transport Protocol
is a
subclass
of
computer program
(
subclass
Firmware
ComputerProgram
)
ComputingBrands.kif 2205-2205
Firmware
is a
subclass
of
computer program
(
subclass
Bookmarklet
ComputerProgram
)
ComputingBrands.kif 2281-2281
Bookmarklet
is a
subclass
of
computer program
(
subclass
CalendaringProgram
ComputerProgram
)
ComputingBrands.kif 2307-2307
カレンダー
is a
subclass
of
computer program
(
subclass
CameraProgram
ComputerProgram
)
ComputingBrands.kif 2329-2329
Camera
is a
subclass
of
computer program
(
subclass
AppleFastAppSwitcher
ComputerProgram
)
ComputingBrands.kif 2932-2932
Apple Fast App Switcher
is a
subclass
of
computer program
(
subclass
AdobeFlashPlayer
ComputerProgram
)
ComputingBrands.kif 2949-2949
Flash
is a
subclass
of
computer program
(
subclass
EmailProgram
ComputerProgram
)
ComputingBrands.kif 3102-3102
Mailer
is a
subclass
of
computer program
(
subclass
IBooks
ComputerProgram
)
ComputingBrands.kif 3247-3247
AppleBooks
is a
subclass
of
computer program
(
subclass
IMessage
ComputerProgram
)
ComputingBrands.kif 3361-3361
I-message
is a
subclass
of
computer program
(
subclass
ITunes
ComputerProgram
)
ComputingBrands.kif 3381-3381
I-tunes
is a
subclass
of
computer program
(
subclass
DHCPProgram
ComputerProgram
)
ComputingBrands.kif 4054-4054
DHCP program
is a
subclass
of
computer program
(
subclass
FindMyIPhone
ComputerProgram
)
ComputingBrands.kif 4251-4251
FMIP
is a
subclass
of
computer program
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
