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
dependencyType
Sigma KEE - dependencyType
dependencyType
appearance as argument number 1
(
documentation
dependencyType
EnglishLanguage
"(
dependencyType
?PROGRAM ?TYPE) means that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either
StartupBlock
or
ShutdownBlock
.")
QoSontology.kif 1223-1225
(
domain
dependencyType
1
ComputerProgram
)
QoSontology.kif 1221-1221
The number 1 argument of
dependency type
is an
instance
of
computer program
(
domainSubclass
dependencyType
2
ComputerProgram
)
QoSontology.kif 1222-1222
The number 2 argument of
dependency type
is a
subclass
of
computer program
(
instance
dependencyType
BinaryPredicate
)
QoSontology.kif 1220-1220
dependency type
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
dependencyType
"%2 %n 是 %1 的
de
pendency 类别")
domainEnglishFormat.kif 708-708
(
format
ChineseTraditionalLanguage
dependencyType
"%2 %n 是 %1 的
de
pendency 類別")
domainEnglishFormat.kif 707-707
(
format
EnglishLanguage
dependencyType
"%2 is %n a
de
pendency type of %1")
domainEnglishFormat.kif 706-706
(
termFormat
ChineseLanguage
dependencyType
"依赖类型")
domainEnglishFormat.kif 19110-19110
(
termFormat
ChineseTraditionalLanguage
dependencyType
"依賴類型")
domainEnglishFormat.kif 19109-19109
(
termFormat
EnglishLanguage
dependencyType
"dependency type")
domainEnglishFormat.kif 19108-19108
antecedent
(=>
(
dependencyType
?Program ?Type)
(
or
(
equal
?Type
StartupBlock
)
(
equal
?Type
ShutdownBlock
)))
QoSontology.kif 1227-1231
If
a kind of computer program
is a
dependency
type of
another computer program
,
then
a kind of computer program
is
equal
to
startup block
or
the kind of computer program
is
equal
to
shutdown block
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
shutdown block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
a third time interval
finish
es
the time interval
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and the
beginning
of
the third time interval
is
equal
to the
end
of
the other time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
startup block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the other time interval
start
s
a third time interval
and the
time
of existence of
the computer process
is
equal
to
the time interval
and the
end
of
the third time interval
is
equal
to the
beginning
of
the time interval
,
then
duration
of
the third time interval
is
the time duration
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