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
rMProgramOf
Sigma KEE - rMProgramOf
rMProgramOf
appearance as argument number 1
(
documentation
rMProgramOf
EnglishLanguage
"(
rMProgramOf
?RM ?SYSTEM) means that ?RM is the resource management program of the
SoftwareSystem
?SYSTEM.")
QoSontology.kif 619-620
(
domain
rMProgramOf
1
ResourceManagementProgram
)
QoSontology.kif 617-617
Le nombre 1 argument de
rMProgramOf
est une
instance
de
ResourceManagementProgram
(
domain
rMProgramOf
2
SoftwareSystem
)
QoSontology.kif 618-618
Le nombre 2 argument de
rMProgramOf
est une
instance
de
SoftwareSystem
(
instance
rMProgramOf
BinaryPredicate
)
QoSontology.kif 616-616
rMProgramOf
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
rMProgramOf
"%2 %n 是 %1 的 rM program-of")
domainEnglishFormat.kif 2167-2167
(
format
ChineseTraditionalLanguage
rMProgramOf
"%2 %n 是 %1 的 rM program-of")
domainEnglishFormat.kif 2166-2166
(
format
EnglishLanguage
rMProgramOf
"%2 is %n a rM program-of of %1")
domainEnglishFormat.kif 2165-2165
(
termFormat
ChineseLanguage
rMProgramOf
"rM的程序")
domainEnglishFormat.kif 50196-50196
(
termFormat
ChineseTraditionalLanguage
rMProgramOf
"rM的程序")
domainEnglishFormat.kif 50195-50195
(
termFormat
EnglishLanguage
rMProgramOf
"rM program-of")
domainEnglishFormat.kif 50194-50194
antecedent
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
objet
ComputerProcess
and
ResourceManagementProgram
Copy
objet
est une
partie
de
SoftwareSystem
programCopy
ResourceManagementProgram
Copy and
ResourceManagementProgram
programRunning
ComputerProcess
and
objet
ComputerProcess
est un
agent
de
ResourceManagementProgram
Copy
consequent
(=>
(
instance
?Feedback
Feedback
)
(
exists
(?RM ?Process ?Program ?Send)
(
and
(
rMProgramOf
?RM ?Program)
(
programRunning
?Process ?Program)
(
instance
?Send
DataTransfer
)
(
patient
?Send ?Feedback)
(
destination
?Send ?RM))))
QoSontology.kif 676-684
Entit�
est une
instance
de
Feedback
ResourceManagementProgram
ComputerProcess
,
SoftwareSystem
and
processus
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
programRunning
ComputerProcess
and
SoftwareSystem
processus
est une
instance
de
DataTransfer
entit�
est un
patient
de
processus
processus
aboutit
�
ResourceManagementProgram
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