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