faces (faces)

(faces obj direction) means that the front of obj (see FrontFn) is positioned towards the compass direction direction. More precisely, it means that if a line were extended from the center of direction, the line would intersect with the front of obj before it intersected with its back (see BackFn).

Ontologie

SUMO / QUALITIES

Class(es)

třída

inheritable relation

binární predikát

faces

Související termín(y)

arc weight authors before or equal causes causes subclass citizen closed on connected contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element 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 material measure meets temporally modal attribute overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass 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 temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

faces(objekt, směrový atribut)

Axiomy (1)

jestliže faces(proc,attr1) platí během time,
potom pro všechny attr2 platí: jestliže faces(proc,attr2) platí během time, potom attr2 se rovná attr1

(=>
      (holdsDuring
            ?TIME
            (faces ?PROC ?ATTR1))
      (forall
            (?ATTR2)
            (=>
                  (holdsDuring
                        ?TIME
                        (faces ?PROC ?ATTR2))
                  (equal ?ATTR2 ?ATTR1))))