manner (manner)

(manner process manner) means that the Process process is qualified by the Attribute manner. The Attributes of Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

nesymetrická relace
is instance of

ireflexivní relace
is instance of

manner

Superrelation(s)

property

manner

Související termín(y)

back fn cardinality fn front fn principal host fn probability fn skin fn attribute authors before causes causes subclass citizen closed on completely fills connected engineering components contains information crosses date decreases likelihood developmental form disjoint documentation duration during earlier editor element equivalence relation on exploits expressed in language fills finishes frequency graph part greater than 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 inhabits inhibits interior part irreflexive on larger less than measure meets spatially meets temporally member modal attribute overlaps partially parent partial ordering on partially fills path length penetrates possesses precondition prevents proper part properly fills publishes range range subclass realization reflexive on sibling smaller starts sub collection sub organizations sub plan sub proposition successor attribute successor attribute closure superficial part surface temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

manner(proces)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (2)

manner and attribute are disjoint.

(disjointRelation manner attribute)

Jestliže proc je instancí třídy změna směru, potom existuje směrový atribut attr tak, že

manner(proc,attr) platí právě před doba existence proc a manner(proc,attr) doesn't hold právě po doba existence proc
manner(proc,attr) platí právě po doba existence proc a manner(proc,attr) doesn't hold právě před doba existence proc

(=>
      (instance ?PROC DirectionChange)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR DirectionalAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))
                        (and
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))))))