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
ComputerProgram
ist eine
teilkategorie
von
Procedure
(
subclass
ComputerProgram
Software
)
ComputerInput.kif 813-813
ComputerProgram
ist eine
teilkategorie
von
Software
(
subclass
WebBrowser
ComputerProgram
)
UXExperimentalTerms.kif 2097-2097
WebBrowser
ist eine
teilkategorie
von
ComputerProgram
(
subclass
SearchEngine
ComputerProgram
)
UXExperimentalTerms.kif 2360-2360
SearchEngine
ist eine
teilkategorie
von
ComputerProgram
(
subclass
SoftwareSystem
ComputerProgram
)
QoSontology.kif 268-268
SoftwareSystem
ist eine
teilkategorie
von
ComputerProgram
(
subclass
StartupBlock
ComputerProgram
)
QoSontology.kif 365-365
StartupBlock
ist eine
teilkategorie
von
ComputerProgram
(
subclass
ShutdownBlock
ComputerProgram
)
QoSontology.kif 406-406
ShutdownBlock
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AutomaticApplication
ComputerProgram
)
QoSontology.kif 578-578
AutomaticApplication
ist eine
teilkategorie
von
ComputerProgram
(
subclass
RMStartApplication
ComputerProgram
)
QoSontology.kif 594-594
RMStartApplication
ist eine
teilkategorie
von
ComputerProgram
(
subclass
ConsoleApplication
ComputerProgram
)
QoSontology.kif 608-608
ConsoleApplication
ist eine
teilkategorie
von
ComputerProgram
(
subclass
ResourceManagementProgram
ComputerProgram
)
QoSontology.kif 612-612
ResourceManagementProgram
ist eine
teilkategorie
von
ComputerProgram
(
subclass
MonitoringProgram
ComputerProgram
)
QoSontology.kif 857-857
MonitoringProgram
ist eine
teilkategorie
von
ComputerProgram
(
subclass
Utility
ComputerProgram
)
QoSontology.kif 2021-2021
Utility
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleGarageBand
ComputerProgram
)
ComputingBrands.kif 881-881
AppleGarageBand
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleIMovie
ComputerProgram
)
ComputingBrands.kif 887-887
AppleIMovie
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleIMessages
ComputerProgram
)
ComputingBrands.kif 893-893
AppleIMessages
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleICloud
ComputerProgram
)
ComputingBrands.kif 899-899
AppleICloud
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleILife
ComputerProgram
)
ComputingBrands.kif 905-905
AppleILife
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleIWork
ComputerProgram
)
ComputingBrands.kif 911-911
AppleIWork
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleFaceTime
ComputerProgram
)
ComputingBrands.kif 917-917
AppleFaceTime
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleFairPlay
ComputerProgram
)
ComputingBrands.kif 955-955
AppleFairPlay
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleSetupAssistant
ComputerProgram
)
ComputingBrands.kif 981-981
AppleSetupAssistant
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleMigrationAssistant
ComputerProgram
)
ComputingBrands.kif 988-988
AppleMigrationAssistant
ist eine
teilkategorie
von
ComputerProgram
(
subclass
ApplicationProgrammerInterface
ComputerProgram
)
ComputingBrands.kif 1911-1911
ApplicationProgrammerInterface
ist eine
teilkategorie
von
ComputerProgram
(
subclass
App
ComputerProgram
)
ComputingBrands.kif 1947-1947
App
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleAppStore
ComputerProgram
)
ComputingBrands.kif 1970-1970
AppleAppStore
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AVCTP
ComputerProgram
)
ComputingBrands.kif 2169-2169
AVCTP
ist eine
teilkategorie
von
ComputerProgram
(
subclass
Firmware
ComputerProgram
)
ComputingBrands.kif 2205-2205
Firmware
ist eine
teilkategorie
von
ComputerProgram
(
subclass
Bookmarklet
ComputerProgram
)
ComputingBrands.kif 2281-2281
Bookmarklet
ist eine
teilkategorie
von
ComputerProgram
(
subclass
CalendaringProgram
ComputerProgram
)
ComputingBrands.kif 2307-2307
CalendaringProgram
ist eine
teilkategorie
von
ComputerProgram
(
subclass
CameraProgram
ComputerProgram
)
ComputingBrands.kif 2329-2329
CameraProgram
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AppleFastAppSwitcher
ComputerProgram
)
ComputingBrands.kif 2932-2932
AppleFastAppSwitcher
ist eine
teilkategorie
von
ComputerProgram
(
subclass
AdobeFlashPlayer
ComputerProgram
)
ComputingBrands.kif 2949-2949
AdobeFlashPlayer
ist eine
teilkategorie
von
ComputerProgram
(
subclass
EmailProgram
ComputerProgram
)
ComputingBrands.kif 3102-3102
EmailProgram
ist eine
teilkategorie
von
ComputerProgram
(
subclass
IBooks
ComputerProgram
)
ComputingBrands.kif 3247-3247
IBooks
ist eine
teilkategorie
von
ComputerProgram
(
subclass
IMessage
ComputerProgram
)
ComputingBrands.kif 3361-3361
IMessage
ist eine
teilkategorie
von
ComputerProgram
(
subclass
ITunes
ComputerProgram
)
ComputingBrands.kif 3381-3381
ITunes
ist eine
teilkategorie
von
ComputerProgram
(
subclass
DHCPProgram
ComputerProgram
)
ComputingBrands.kif 4054-4054
DHCPProgram
ist eine
teilkategorie
von
ComputerProgram
(
subclass
FindMyIPhone
ComputerProgram
)
ComputingBrands.kif 4251-4251
FindMyIPhone
ist eine
teilkategorie
von
ComputerProgram
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