Food Comparison Table

Next Object: SelfConnectedObject Up: Object Previous Object: ContentBearingObject

Food comparison table

Subject documentation is a kind of have axiom

Object Corresponds roughly to the class of ordinary physical objects. An Object is thought of as continuing through time, but at any particular time is all there is at that time, in contrast to something that is thought of as being divided into stages (contrast Process). Examples include normal physical objects, geographical regions, and locations of Processes. The formal definition is that all the parts of an Object are present at the same time that the Object is; in other words, an Object cannot have 'parts' which are separated in time, such as the first and second halves of a football game. Note that the parts of an Object may change from time to time, and that every Object occupies exactly the same space and time as a Process (its lifespan). In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis Physical
(=>
(instance ?OBJ Object)
(exists (?TIME1 ?TIME2)
(and
(instance ?TIME1 TimePoint)
(instance ?TIME2 TimePoint)
(before ?TIME1 ?TIME2)
(forall (?TIME)
(=>
(and
(beforeEq ?TIME1 ?TIME)
(beforeEq ?TIME ?TIME2))
(existant ?OBJ ?TIME))))))

Food Any Object containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a living Organism and metabolized into energy and body tissue Object
(=>
(instance ?OBJ Food)
(exists (?ATTR)
(and
(instance ?ATTR TasteProperty)
(attribute ?OBJ ?ATTR))))

Subject	documentation	is a kind of	have axiom
Object	Corresponds roughly to the class of ordinary physical objects. An Object is thought of as continuing through time, but at any particular time is all there is at that time, in contrast to something that is thought of as being divided into stages (contrast Process). Examples include normal physical objects, geographical regions, and locations of Processes. The formal definition is that all the parts of an Object are present at the same time that the Object is; in other words, an Object cannot have 'parts' which are separated in time, such as the first and second halves of a football game. Note that the parts of an Object may change from time to time, and that every Object occupies exactly the same space and time as a Process (its lifespan). In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis	Physical	(=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeEq ?TIME1 ?TIME) (beforeEq ?TIME ?TIME2)) (existant ?OBJ ?TIME))))))
Food	Any Object containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a living Organism and metabolized into energy and body tissue	Object	(=> (instance ?OBJ Food) (exists (?ATTR) (and (instance ?ATTR TasteProperty) (attribute ?OBJ ?ATTR))))

Next Object: SelfConnectedObject Up: Object Previous Object: ContentBearingObject