result Comparison Table

Next unparented: subOrganizations Up: unparented Previous unparented: resource

result comparison table

Subject documentation have domain2 have domain1 have axiom

unparented

result (result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house Object Process
(=>
(instance ?PLANT Plant)
(exists (?COLOR ?PROC)
(and
(part ?COLOR ?PLANT)
(instance ?COLOR Pigment)
(result ?COLOR ?PROC)
(instance ?PROC Photosynthesis))))

Subject	documentation	have domain2	have domain1	have axiom
unparented
result	(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house	Object	Process	(=> (instance ?PLANT Plant) (exists (?COLOR ?PROC) (and (part ?COLOR ?PLANT) (instance ?COLOR Pigment) (result ?COLOR ?PROC) (instance ?PROC Photosynthesis))))

Next unparented: subOrganizations Up: unparented Previous unparented: resource