SUMO   View all facts   Glossary   Help

unparented > attribute

attribute
subject			fact

attribute	documentation (attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red)
	has axiom (<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))
	has axiom (<=> (equal (AbstractionFn ?CLASS) ?ATTR) (forall (?INST) (<=> (instance ?INST ?CLASS) (attribute ?INST ?ATTR))))
	has axiom (<=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (attribute ?OBJ ?ATTR1) (attribute ?OBJ ?ATTR2))))
	has axiom (<=> (manner ?PROC ?ATTR) (not (attribute ?PROC ?ATTR)))
	has axiom (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2)))
	has axiom (=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable))
	has axiom (=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalProperty)) (instance ?ORG Organism))
	has axiom (=> (and (attribute ?OBJ ?ATTR1) (contraryProperty ?ATTR1 ?ATTR2)) (not (attribute ?OBJ ?ATTR2)))
	has axiom (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))
	has axiom (=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))
	has axiom (=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimeInterval) (instance ?TIME2 TimeInterval)) (exists (?INTERVAL) (and (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))
	has axiom (=> (and (instance ?ACT Drinking) (patient ?ACT ?FOOD)) (attribute ?FOOD Liquid))
	has axiom (=> (and (instance ?ACT Eating) (patient ?ACT ?FOOD)) (attribute ?FOOD Solid))
	has axiom (=> (and (instance ?ALT ShapeAlteration) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeProperty) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))
	has axiom (=> (and (instance ?ATTRIBUTE TextureProperty) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE))
	has axiom (=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY) (and (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY))))))
	has axiom (=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))
	has axiom (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))
	has axiom (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))
	has axiom (=> (and (instance ?PROC ShapeAlteration) (patient ?PROC ?OBJ)) (attribute ?OBJ Pliable))
	has axiom (=> (and (instance ?STATE PhysicalState) (part ?PART ?OBJ) (holdsDuring ?TIME (attribute ?OBJ ?STATE))) (not (exists (?OTHERSTATE) (and (instance ?OTHERSTATE PhysicalState) (holdsDuring ?TIME (attribute ?PART ?OTHERSTATE)) (not (equal ?STATE ?OTHERSTATE))))))
	has axiom (=> (and (instance ?WET Wetting) (patient ?WET ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?WET)) (or (attribute ?OBJ Wet) (attribute ?OBJ Damp))))
	has axiom (=> (attribute ?OBJ Anhydrous) (not (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?OBJ)))))
	has axiom (=> (attribute ?OBJ Polychromatic) (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2) (and (superficialPart ?PART1 ?OBJ) (superficialPart ?PART2 ?OBJ) (attribute ?PART1 ?COLOR1) (attribute ?PART2 ?COLOR2) (instance ?COLOR1 ColorProperty) (instance ?COLOR2 ColorProperty) (not (equal ?COLOR1 ?COLOR2)))))
	has axiom (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?WATER) (and (instance ?WATER Water) (or (overlapsSpatially ?WATER ?PART) (meetsSpatially ?WATER ?PART)))))))
	has axiom (=> (birthTime ?ORGANISM ?TIME) (holdsDuring (ImmediateFutureFn ?TIME) (attribute ?ORGANISM Living)))
	has axiom (=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR))))
	has axiom (=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))
	has axiom (=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (attribute ?THING1 ?ATTR) (attribute ?THING2 ?ATTR))))
	has axiom (=> (father ?FATHER ?CHILD) (attribute ?FATHER Male))
	has axiom (=> (instance ?OBJ Food) (exists (?ATTR) (and (instance ?ATTR TasteProperty) (attribute ?OBJ ?ATTR))))
	has axiom (=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))
	has axiom (=> (instance ?PROPERTY ConsciousnessProperty) (=> (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY)) (holdsDuring ?TIME (attribute ?ORGANISM Living))))
	has axiom (=> (mother ?MOTHER ?CHILD) (attribute ?MOTHER Female))
	has axiom (=> (attribute ?OBJ ?ATTR) (not (manner ?OBJ ?ATTR)))
	has domain1 Object
	has domain2 Attribute

Next unparented: AttributeFn    Up: unparented    Previous unparented: Attack