Object Comparison Table

Next Physical: Process Up: Physical

Object comparison table

Subject have relatedInternalConcept be third domain of documentation be second domain of be first domain of have axiom

Agent representsForAgent Something or someone that can act on its own and produce changes in the world uses WealthFn
(=>
(and
(instance ?GIVE Giving)
(agent ?GIVE ?AGENT1)
(destination ?GIVE ?AGENT2)
(instance ?AGENT2 Agent)
(patient ?GIVE ?OBJ))
(and
(holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))

Collection connects Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep subCollection subCollection
(=>
(instance ?COLL Collection)
(exists (?OBJ)
(member ?OBJ ?COLL)))

ContentBearingObject containsInformation connects Any Object that expresses information subsumesContentInstance subsumesContentInstance
(=>
(realization ?PROCESS ?PROP)
(exists (?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))

Food connects 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 wants uses
(=>
(instance ?OBJ Food)
(exists (?ATTR)
(and
(instance ?ATTR TasteProperty)
(attribute ?OBJ ?ATTR))))

SelfConnectedObject connects A SelfConnectedObject is any Object that does not consist of two or more disconnected parts part part
(=>
(equal ?OBJ1 (PrincipalHostFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(instance ?OBJ3 SelfConnectedObject)
(overlapsSpatially ?OBJ2 ?OBJ3))))))

Subject	have relatedInternalConcept	be third domain of	documentation	be second domain of	be first domain of	have axiom
Agent		representsForAgent	Something or someone that can act on its own and produce changes in the world	uses	WealthFn	(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))
Collection		connects	Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep	subCollection	subCollection	(=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL)))
ContentBearingObject	containsInformation	connects	Any Object that expresses information	subsumesContentInstance	subsumesContentInstance	(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))
Food		connects	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	wants	uses	(=> (instance ?OBJ Food) (exists (?ATTR) (and (instance ?ATTR TasteProperty) (attribute ?OBJ ?ATTR))))
SelfConnectedObject		connects	A SelfConnectedObject is any Object that does not consist of two or more disconnected parts	part	part	(=> (equal ?OBJ1 (PrincipalHostFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (hole ?HOLE ?OBJ3) (instance ?OBJ3 SelfConnectedObject) (overlapsSpatially ?OBJ2 ?OBJ3))))))

Next Physical: Process Up: Physical