fyzický objekt (Physical)

An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

Podtřída(y)

objekt proces

Související termín(y)

abstraktum

Constrains relations

when fn where fn cooccur date distance has purpose has purpose for agent located refers represents for agent represents in language time

Related WordNet synsets

entity, something: anything having existence (living or nonliving)
phenomenon: any state or process known through the senses rather than by intuition or reasoning
natural order: the physical universe considered as an orderly system subject to natural (not human or supernatural) laws
spatiotemporal, spaciotemporal: existing in both space and time; having both spatial extension and temporal duration

See more related synsets on a separate page.

Axiomy (11)

entita je exhaustively partitioned into fyzický objekt,abstraktum.

(partition Entity Physical Abstract)

fyzický objekt je exhaustively partitioned into objekt,proces.

(partition Physical Object Process)

phys je instancí třídy fyzický objekt tehdy a jen tehdy pokud existují loc,time tak, že phys je located at loc a phys exists during time.

(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))

Jestliže rel(inst1,inst2) holds během interval a inst1 je instancí třídy fyzický objekt a inst2 je instancí třídy fyzický objekt, potom inst1 exists during interval a inst2 exists during interval.

(=>
      (and
            (holdsDuring
                  ?INTERVAL
                  (holds ?REL ?INST1 ?INST2))
            (instance ?INST1 Physical)
            (instance ?INST2 Physical))
      (and
            (time ?INST1 ?INTERVAL)
            (time ?INST2 ?INTERVAL)))

Jestliže thing je instancí třídy fyzický objekt, potom "the beginning of doba existence thing" happens before the end of doba existence thing.

(=>
      (instance ?THING Physical)
      (before
            (BeginFn
                  (WhenFn ?THING))
            (EndFn
                  (WhenFn ?THING))))

Jestliže thing je instancí třídy fyzický objekt, potom "před doba existence thing" meets "doba existence thing".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (PastFn
                  (WhenFn ?THING))
            (WhenFn ?THING)))

Jestliže process je instancí třídy fyzický objekt, potom "před doba existence process" se rovná "interval between negative infinity and "the beginning of doba existence process"".

(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))

Jestliže thing je instancí třídy fyzický objekt, potom "právě před doba existence thing" finishes "před doba existence thing".

(=>
      (instance ?THING Physical)
      (finishes
            (ImmediatePastFn
                  (WhenFn ?THING))
            (PastFn
                  (WhenFn ?THING))))

Jestliže thing je instancí třídy fyzický objekt, potom "doba existence thing" meets "po doba existence thing".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (WhenFn ?THING)
            (FutureFn
                  (WhenFn ?THING))))

Jestliže process je instancí třídy fyzický objekt, potom "po doba existence process" se rovná "interval between "the end of doba existence process" and positive infinity".

(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))

Jestliže thing je instancí třídy fyzický objekt, potom "právě po doba existence thing" starts "po doba existence thing".

(=>
      (instance ?THING Physical)
      (starts
            (ImmediateFutureFn
                  (WhenFn ?THING))
            (FutureFn
                  (WhenFn ?THING))))