sub proposition (subProposition)

(subProposition prop1 prop2) means that prop1 is a Proposition which is a proper part of the Proposition prop2. In other words, subProposition is the analogue of properPart for chunks of abstract content.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

binární predikát
is instance of

tranzitivní relace
is instance of

ireflexivní relace
is instance of

sub proposition

Subrelation(s)

sub plan

Související termín(y)

back fn front fn arc weight attribute authors before before or equal causes causes subclass citizen closed on connected connected engineering components contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces 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 interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally modal attribute overlaps partially overlaps temporally parent partial ordering on partly located path length possesses precondition prevents proper part property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

subProposition(výrok, výrok)

Axiomy (1)

jestliže sub proposition(prop1,prop2) platí,
potom pro všechny obj1,obj2 platí: jestliže obj1 contains information prop1 a obj2 contains information prop2, potom subsumes content instance(obj2,obj1) platí

(=>
      (subProposition ?PROP1 ?PROP2)
      (forall
            (?OBJ1 ?OBJ2)
            (=>
                  (and
                        (containsInformation ?OBJ1 ?PROP1)
                        (containsInformation ?OBJ2 ?PROP2))
                  (subsumesContentInstance ?OBJ2 ?OBJ1))))