causes (causes)

The causation relation between instances of Process. (causes process1 process2) means that the instance of Process process1 brings about the instance of Process process2, e.g. (causes Killing Death).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

binary predicate
is instance of

asymmetric relation
is instance of

causes

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

causes(process, process)

Related WordNet synsets

causing, causation: the act of causing something to happen
thanks: with the help of or owing to; "thanks to hard work it was a great success"
cause: events that provide the generative force that is the origin of something; "they are trying to determine the cause of the crash"
causality: the relation between causes and effects
causative: producing an effect; "poverty as a causative factor in crime"
causal: involving or constituting a cause; causing; "a causal relationship between scarcity and higher prices"
produced: that is caused by; "if...such a change is produced by...insulin comas or electroshocks"; "the emotional states produced by this drug"
causally: in a causal fashion; "causally efficacious powers"

See more related synsets on a separate page.

Axioms (4)

causes is internally related to causes subclass.

(relatedInternalConcept causes causesSubclass)

If proc1 is an instance of process, then there exists proc2 so that proc2 causes proc1.

(=>
      (instance ?PROC1 Process)
      (exists
            (?PROC2)
            (causes ?PROC2 ?PROC1)))

if causes subclass(proc1,proc2) holds,
then for all inst2 holds: if inst2 is an instance of proc2, then there exists proc1 inst1 so that inst1 causes inst2

(=>
      (causesSubclass ?PROC1 ?PROC2)
      (forall
            (?INST2)
            (=>
                  (instance ?INST2 ?PROC2)
                  (exists
                        (?INST1)
                        (and
                              (instance ?INST1 ?PROC1)
                              (causes ?INST1 ?INST2))))))

If proc is an instance of diagnostic process and proc is an agent of agent, then there exists cause so that proc has &n purpose "agent knows "cause causes proc"" for agent.

(=>
      (and
            (instance ?PROC DiagnosticProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?CAUSE)
            (hasPurposeForAgent
                  ?PROC
                  (knows
                        ?AGENT
                        (causes ?CAUSE ?PROC))
                  ?AGENT)))