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
では %n
(
subclass
ComputerProgram
Software
)
ComputerInput.kif 813-813
コンピュータープログラム
は
Software
の
subclass
では %n
(
subclass
WebBrowser
ComputerProgram
)
UXExperimentalTerms.kif 2097-2097
WebBrowser
は
コンピュータープログラム
の
subclass
では %n
(
subclass
SearchEngine
ComputerProgram
)
UXExperimentalTerms.kif 2360-2360
SearchEngine
は
コンピュータープログラム
の
subclass
では %n
(
subclass
SoftwareSystem
ComputerProgram
)
QoSontology.kif 268-268
SoftwareSystem
は
コンピュータープログラム
の
subclass
では %n
(
subclass
StartupBlock
ComputerProgram
)
QoSontology.kif 365-365
StartupBlock
は
コンピュータープログラム
の
subclass
では %n
(
subclass
ShutdownBlock
ComputerProgram
)
QoSontology.kif 406-406
ShutdownBlock
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AutomaticApplication
ComputerProgram
)
QoSontology.kif 578-578
AutomaticApplication
は
コンピュータープログラム
の
subclass
では %n
(
subclass
RMStartApplication
ComputerProgram
)
QoSontology.kif 594-594
RMStartApplication
は
コンピュータープログラム
の
subclass
では %n
(
subclass
ConsoleApplication
ComputerProgram
)
QoSontology.kif 608-608
ConsoleApplication
は
コンピュータープログラム
の
subclass
では %n
(
subclass
ResourceManagementProgram
ComputerProgram
)
QoSontology.kif 612-612
ResourceManagementProgram
は
コンピュータープログラム
の
subclass
では %n
(
subclass
MonitoringProgram
ComputerProgram
)
QoSontology.kif 857-857
MonitoringProgram
は
コンピュータープログラム
の
subclass
では %n
(
subclass
Utility
ComputerProgram
)
QoSontology.kif 2021-2021
Utility
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleGarageBand
ComputerProgram
)
ComputingBrands.kif 881-881
GarageBand
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleIMovie
ComputerProgram
)
ComputingBrands.kif 887-887
IMovie
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleIMessages
ComputerProgram
)
ComputingBrands.kif 893-893
IMessages
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleICloud
ComputerProgram
)
ComputingBrands.kif 899-899
ICloud
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleILife
ComputerProgram
)
ComputingBrands.kif 905-905
ILife
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleIWork
ComputerProgram
)
ComputingBrands.kif 911-911
IWork
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleFaceTime
ComputerProgram
)
ComputingBrands.kif 917-917
FaceTime
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleFairPlay
ComputerProgram
)
ComputingBrands.kif 955-955
FairPlay
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleSetupAssistant
ComputerProgram
)
ComputingBrands.kif 981-981
設定アシスタント
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleMigrationAssistant
ComputerProgram
)
ComputingBrands.kif 988-988
Migration Assistant
は
コンピュータープログラム
の
subclass
では %n
(
subclass
ApplicationProgrammerInterface
ComputerProgram
)
ComputingBrands.kif 1911-1911
アプリケーションプログラマインタ フェース
は
コンピュータープログラム
の
subclass
では %n
(
subclass
App
ComputerProgram
)
ComputingBrands.kif 1947-1947
アプリ
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleAppStore
ComputerProgram
)
ComputingBrands.kif 1970-1970
Apple app store
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AVCTP
ComputerProgram
)
ComputingBrands.kif 2169-2169
オーディオ/ビデオ制御トランスポートプロトコル
は
コンピュータープログラム
の
subclass
では %n
(
subclass
Firmware
ComputerProgram
)
ComputingBrands.kif 2205-2205
ファームウェア
は
コンピュータープログラム
の
subclass
では %n
(
subclass
Bookmarklet
ComputerProgram
)
ComputingBrands.kif 2281-2281
ブックマークレット
は
コンピュータープログラム
の
subclass
では %n
(
subclass
CalendaringProgram
ComputerProgram
)
ComputingBrands.kif 2307-2307
CalendaringProgram
は
コンピュータープログラム
の
subclass
では %n
(
subclass
CameraProgram
ComputerProgram
)
ComputingBrands.kif 2329-2329
カメラ
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AppleFastAppSwitcher
ComputerProgram
)
ComputingBrands.kif 2932-2932
Apple Fast App Switcher
は
コンピュータープログラム
の
subclass
では %n
(
subclass
AdobeFlashPlayer
ComputerProgram
)
ComputingBrands.kif 2949-2949
Flash
は
コンピュータープログラム
の
subclass
では %n
(
subclass
EmailProgram
ComputerProgram
)
ComputingBrands.kif 3102-3102
メーラー
は
コンピュータープログラム
の
subclass
では %n
(
subclass
IBooks
ComputerProgram
)
ComputingBrands.kif 3247-3247
AppleBooks
は
コンピュータープログラム
の
subclass
では %n
(
subclass
IMessage
ComputerProgram
)
ComputingBrands.kif 3361-3361
IMessage
は
コンピュータープログラム
の
subclass
では %n
(
subclass
ITunes
ComputerProgram
)
ComputingBrands.kif 3381-3381
ITunes
は
コンピュータープログラム
の
subclass
では %n
(
subclass
DHCPProgram
ComputerProgram
)
ComputingBrands.kif 4054-4054
DHCPProgram
は
コンピュータープログラム
の
subclass
では %n
(
subclass
FindMyIPhone
ComputerProgram
)
ComputingBrands.kif 4251-4251
FindMyIPhone
は
コンピュータープログラム
の
subclass
では %n
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