Process
(process)
(
domainSubclass
causesSubclass
1
Process
)
Merge.kif 3801-3801
The number 1 argument of
causes subclass
is a
subclass
of
process
(
domainSubclass
causesSubclass
2
Process
)
Merge.kif 3802-3802
The number 2 argument of
causes subclass
is a
subclass
of
process
(
domainSubclass
diseaseMedicine
3
Process
)
WMD.kif 934-934
The number 3 argument of
disease treatment
is a
subclass
of
process
(
domainSubclass
frequency
1
Process
)
Merge.kif 7911-7911
The number 1 argument of
frequency
is a
subclass
of
process
(
domainSubclass
hasSkill
1
Process
)
Merge.kif 3980-3980
The number 1 argument of
has skill
is a
subclass
of
process
(
domainSubclass
hinders
2
Process
)
Merge.kif 4392-4392
The number 2 argument of
hinders
is a
subclass
of
process
(
domainSubclass
hindersSubclass
1
Process
)
Merge.kif 4309-4309
The number 1 argument of
hinders subclass
is a
subclass
of
process
(
domainSubclass
hindersSubclass
2
Process
)
Merge.kif 4310-4310
The number 2 argument of
hinders subclass
is a
subclass
of
process
(
domainSubclass
inhibits
2
Process
)
Mid-level-ontology.kif 18367-18367
The number 2 argument of
inhibits
is a
subclass
of
process
(
domainSubclass
pathologyTreatment
3
Process
)
Mid-level-ontology.kif 9934-9934
The number 3 argument of
pathology treatment
is a
subclass
of
process
(
domainSubclass
playsRoleInEventOfType
3
Process
)
Mid-level-ontology.kif 23272-23272
The number 3 argument of
plays role in event of type
is a
subclass
of
process
(
domainSubclass
precondition
1
Process
)
Merge.kif 4293-4293
The number 1 argument of
precondition
is a
subclass
of
process
(
domainSubclass
precondition
2
Process
)
Merge.kif 4294-4294
The number 2 argument of
precondition
is a
subclass
of
process
(
domainSubclass
prevents
2
Process
)
Merge.kif 4368-4368
The number 2 argument of
prevents
is a
subclass
of
process
(
domainSubclass
preventsSubclass
1
Process
)
Merge.kif 4337-4337
The number 1 argument of
prevents subclass
is a
subclass
of
process
(
domainSubclass
preventsSubclass
2
Process
)
Merge.kif 4338-4338
The number 2 argument of
prevents subclass
is a
subclass
of
process
(
domainSubclass
processInclusion
2
Process
)
Hotel.kif 2784-2784
The number 2 argument of
process inclusion
is a
subclass
of
process
(
domainSubclass
typicalAction
1
Process
)
Mid-level-ontology.kif 22816-22816
The number 1 argument of
typical action
is a
subclass
of
process
(
domainSubclass
typicalTemporalPart
1
Process
)
Cars.kif 1442-1442
The number 1 argument of
typical temporal part
is a
subclass
of
process
(
domainSubclass
typicalTemporalPart
2
Process
)
Cars.kif 1443-1443
The number 2 argument of
typical temporal part
is a
subclass
of
process
(
domainSubclass
typicallyContainsTemporalPart
1
Process
)
Cars.kif 1482-1482
The number 1 argument of
typically contains temporal part
is a
subclass
of
process
(
domainSubclass
typicallyContainsTemporalPart
2
Process
)
Cars.kif 1483-1483
The number 2 argument of
typically contains temporal part
is a
subclass
of
process
(
partition
Physical
Object
Process
)
Merge.kif 833-833
Physical
is
exhaustively
partitioned
into
object
and
process
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