Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
computerRunning
Sigma KEE - computerRunning
computerRunning
appearance as argument number 1
(
documentation
computerRunning
EnglishLanguage
"(
computerRunning
?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.")
QoSontology.kif 204-205
(
domain
computerRunning
1
ComputerProcess
)
QoSontology.kif 202-202
computerRunning
の数値 1 引数は
ComputerProcess
の
instance
では %n
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
computerRunning
の数値 2 引数は
Computer
の
instance
では %n
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
computerRunning
は
2進述語
の
instance
では %n
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
computerRunning
は
格役割
の
instance
では %n
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
computerRunning
は
instrument
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
computerRunning
"%1 是 running 在 %2 ")
domainEnglishFormat.kif 3058-3058
(
format
ChineseTraditionalLanguage
computerRunning
"%1 是 running 在 %2 ")
domainEnglishFormat.kif 3057-3057
(
format
EnglishLanguage
computerRunning
"%1 is running on %2")
domainEnglishFormat.kif 3056-3056
(
termFormat
ChineseLanguage
computerRunning
"电脑运行")
domainEnglishFormat.kif 16392-16392
(
termFormat
ChineseTraditionalLanguage
computerRunning
"電腦運行")
domainEnglishFormat.kif 16391-16391
(
termFormat
EnglishLanguage
computerRunning
"computer running")
domainEnglishFormat.kif 16390-16390
antecedent
(=>
(
and
(
instance
?A
AppleAppStore
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C))
(
hasPurpose
?A
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
origin
?D ?C)))))
ComputingBrands.kif 1990-1999
物理
は
Apple app store
の
instance
では %n
programRunning
ComputerProcess
and
物理
computerRunning
ComputerProcess
and
Computer
物理
は
エンティティー
エンティティー
は
DownloadingOverNetwork
の
instance
では %n
エンティティー
は
Computer
から
originate
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
コンピュータープログラム
computerRunning
ComputerProcess
and
Computer
runsOn
コンピュータープログラム
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
programRunning
ComputerProcess
and
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
Computer
は
Computer
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
canRunOn
コンピュータープログラム
and
Computer
consequent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
deviceOS
オブジェクト
and
Computer
オブジェクト
I は
オブジェクト
の
instance
では %n
Computer
I は
Computer
の
instance
では %n
manufacturer
オブジェクト
and
認識エージェント
認識エージェント
が
programRunning
エンティティー
and
Computer
I
computerRunning
エンティティー
and
オブジェクト
I を
desire
s %n{ない}
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
は
SoftwareInstallation
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
コンピュータープログラム
の
instance
では %n
ComputerProcess
は
エンティティー
に
end
s %n{ない}
ComputerProcess
は
DigitalData
ROC
computerRunning
DigitalData
ROC and
エンティティー
の 目的 %n{ない}
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
コンピュータープログラム
は
SoftwareSystem
の
instance
では %n
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
Computer
Computer
は
HardwareSystem
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
(=>
(
instance
?A
App
)
(
hasPurpose
?A
(
exists
(?A ?P ?C)
(
and
(
instance
?C
MobileCellPhone
)
(
instance
?P
ComputerProcess
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C)))))
ComputingBrands.kif 1960-1968
物理
は
アプリ
の
instance
では %n
物理
は
物理
エンティティー
and
エンティティー
エンティティー
は
MobileCellPhone
の
instance
では %n
エンティティー
は
ComputerProcess
の
instance
では %n
programRunning
エンティティー
and
物理
computerRunning
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
ComputerProcess
は
DHCPServer
の
instance
では %n
コンピュータープログラム
Computer
Computer
は
Computer
の
instance
では %n
コンピュータープログラム
は
DHCPProgram
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
コンピュータープログラム
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
は
ComputerProcess
の
instance
では %n
Computer
コンピュータープログラム
Computer
は
Computer
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
(=>
(
loggedInDuring
?A ?UA ?T)
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P ?C)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?A)
(
deviceAccount
?UA ?C)
(
instance
?C
Computer
)
(
computerRunning
?P ?C)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 4347-4358
loggedInDuring
AutonomousAgent
,
UserAccount
and
時間間隔
ステートメント
エンティティー
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
deviceAccount
UserAccount
and
エンティティー
エンティティー
は
Computer
の
instance
では %n
computerRunning
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
instrument
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
コンピュータープログラム
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
コンピュータープログラム
computerRunning
ComputerProcess
and
Computer
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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