EndFn
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 1254-1268
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
StartupBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
commence
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
la
fin
de
interval temporel
est
d
�but de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8234-8243
Point temporel
est
entre
ou pendant le
d
�but de
temps
d'existence de
physique
et la
fin
de
temps
d'existence de
physique
physique
existe
pendant
point temporel
point temporel
est une
instance
de
point temporel
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