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