SUMO   View all facts   Glossary   Help
unparented > result
Next unparented: subOrganizations    Up: unparented    Previous unparented: resource   

result
subjectfact 
resultdocumentation (result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house2001-11-30 13:35:12.0
has axiom 
(<=>
    (exists (?BUILD)
       (and
          (instance ?BUILD Constructing)
          (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
2001-11-30 13:35:12.0
has axiom 
(=>
      (authors ?AGENT ?TEXT)
      (exists (?PROCESS)
           (and
                (agent ?PROCESS ?AGENT)
                (result ?PROCESS ?TEXT))))
2001-11-30 13:35:12.0
has axiom 
(=>
     (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
     (exists (?PLANNING)
        (and
           (instance ?PLANNING Planning)
           (result ?PLANNING ?OBJ))))
2001-11-30 13:35:12.0
has axiom 
(=>
    (instance ?ACTION Creation)
    (exists (?RESULT)
       (result ?ACTION ?RESULT)))
2001-11-30 13:35:12.0
has axiom 
(=>
    (instance ?ARTIFACT Artifact)
    (exists (?PROCESS)
       (and
          (instance ?PROCESS Process)
          (result ?PROCESS ?ARTIFACT))))
2001-11-30 13:35:12.0
has axiom 
(=>
    (instance ?MAKE Making)
    (exists (?ARTIFACT)
       (and
          (instance ?ARTIFACT Artifact)
          (result ?MAKE ?ARTIFACT))))
2001-11-30 13:35:12.0
has axiom 
(=>
    (result ?PROC ?OBJ)
    (forall (?TIME)
       (=>
          (before ?TIME (BeginFn (WhenFn ?PROC)))
          (not
             (existant ?OBJ ?TIME)))))
2001-11-30 13:35:12.0
has axiom 
(=>
 	(instance ?PLANT Plant)
 	(exists (?COLOR ?PROC)
 		(and
 			(part ?COLOR ?PLANT)
 			(instance ?COLOR Pigment)
 			(result ?COLOR ?PROC)
 			(instance ?PROC Photosynthesis))))
2001-11-30 13:35:12.0
has domain1 Process2001-11-30 13:35:12.0
has domain2 Object2001-11-30 13:35:12.0