Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 1228-1230
(
domain
dependencyType
1
ComputerProgram
)
QoSontology.kif 1226-1226
The number 1 argument of
dependency type
is an
instance
of
computer program
(
domainSubclass
dependencyType
2
ComputerProgram
)
QoSontology.kif 1227-1227
The number 2 argument of
dependency type
is a
subclass
of
computer program
(
instance
dependencyType
BinaryPredicate
)
QoSontology.kif 1225-1225
dependency type
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
dependencyType
"%2 %n 是 %1 的 dependency 类别")
domainEnglishFormat.kif 708-708
(
format
ChineseTraditionalLanguage
dependencyType
"%2 %n 是 %1 的 dependency 類別")
domainEnglishFormat.kif 707-707
(
format
EnglishLanguage
dependencyType
"%2 is %n a dependency type of %1")
domainEnglishFormat.kif 706-706
(
termFormat
ChineseLanguage
dependencyType
"依赖类型")
domainEnglishFormat.kif 19101-19101
(
termFormat
ChineseTraditionalLanguage
dependencyType
"依賴類型")
domainEnglishFormat.kif 19100-19100
(
termFormat
EnglishLanguage
dependencyType
"dependency type")
domainEnglishFormat.kif 19099-19099
antecedent
(=>
(
dependencyType
?Program ?Type)
(
or
(
equal
?Type
StartupBlock
)
(
equal
?Type
ShutdownBlock
)))
QoSontology.kif 1232-1236
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 1275-1289
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 1259-1273
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
