結果 (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.

Ontology

SUMO / BASE-ONTOLOGY

Superrelation(s)

受事者

結果

Type restrictions

result(歷程, 物體)

Related WordNet synsets

result, outcome: the situation that exists when something ends; "he listened for the results on the radio"

See more related synsets on a separate page.

Axioms (22)

If lang 是人造語言的實例, then there exists 計畫 plan so that lang 是 plan 的結果.

(=>
      (instance ?LANG ConstructedLanguage)
      (exists
            (?PLAN)
            (and
                  (instance ?PLAN Planning)
                  (result ?PLAN ?LANG))))

無交集關係(資源,結果,工具) holds.

(disjointRelation resource result instrument)

if obj 是 proc 的結果,
then for all time holds: if time (沒) 發生?{s} 在 ""proc 存在的時間" 的 �}始" 之前, then obj not(不) 存在 time 期間

(=>
      (result ?PROC ?OBJ)
      (forall
            (?TIME)
            (=>
                  (before
                        ?TIME
                        (BeginFn
                              (WhenFn ?PROC)))
                  (not
                        (time ?OBJ ?TIME)))))

If rep 是複製的實例 and rep 是 parent 的施事者 and child 是 rep 的結果, then parent 是 child 的雙親.

(=>
      (and
            (instance ?REP Replication)
            (agent ?REP ?PARENT)
            (result ?REP ?CHILD))
      (parent ?CHILD ?PARENT))

If rep 是複製的實例, then there exists 生殖構造 body so that body 是 rep 的結果.

(=>
      (instance ?REP Replication)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (result ?REP ?BODY))))

If rep 是有性生殖的實例 and organism 是 rep 的結果, then there don't exist mother,father so that mother 是 organism 的母親 and father 是 organism 的父親.

(=>
      (and
            (instance ?REP SexualReproduction)
            (result ?REP ?ORGANISM))
      (not
            (exists
                  (?MOTHER ?FATHER)
                  (and
                        (mother ?ORGANISM ?MOTHER)
                        (father ?ORGANISM ?FATHER)))))

If rep 是無性生殖的實例 and organism 是 rep 的結果, then there don't exist parent1,parent2 so that parent1 是 organism 的雙親 and parent2 是 organism 的雙親 and parent1 等於 parent2.

(=>
      (and
            (instance ?REP AsexualReproduction)
            (result ?REP ?ORGANISM))
      (not
            (exists
                  (?PARENT1 ?PARENT2)
                  (and
                        (parent ?ORGANISM ?PARENT1)
                        (parent ?ORGANISM ?PARENT2)
                        (not
                              (equal ?PARENT1 ?PARENT2))))))

combine 是結合的實例 and obj1 對 combine 是資源 and obj2 是 combine 的結果 if and only if obj1 是 obj2 的部分) ""combine 存在的時間" 不久之前"a(之中) "combine 存在的時間" 不久之前 and obj1 是 obj2 的部分) ""combine 存在的時間" 不久之後"a(之中) "combine 存在的時間" 不久之後.

(<=>
      (and
            (instance ?COMBINE Combining)
            (resource ?COMBINE ?OBJ1)
            (result ?COMBINE ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?COMBINE))
                  (not
                        (part ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?COMBINE))
                  (part ?OBJ1 ?OBJ2))))

proc 是化學歷程的實例
stuff 對 proc 是資源 or stuff 是 proc 的結果

, then stuff 是純物質的實例.

(=>
      (and
            (instance ?PROC ChemicalProcess)
            (or
                  (resource ?PROC ?STUFF)
                  (result ?PROC ?STUFF)))
      (instance ?STUFF PureSubstance))

If substance1 對 proc 是資源 and substance2 是 proc 的結果 and substance1 是基本物質的實例 and substance2 是化合物的實例, then proc 是化學合成的實例.

(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 ElementalSubstance)
            (instance ?SUBSTANCE2 CompoundSubstance))
      (instance ?PROC ChemicalSynthesis))

compound 是化合物的實例 if and only if there exist 基本物質 element1,基本物質 element2,化學合成 process so that element1 等於 element2 and element1 對 process 是資源 and element2 對 process 是資源 and compound 是 process 的結果.

(<=>
      (instance ?COMPOUND CompoundSubstance)
      (exists
            (?ELEMENT1 ?ELEMENT2 ?PROCESS)
            (and
                  (instance ?ELEMENT1 ElementalSubstance)
                  (instance ?ELEMENT2 ElementalSubstance)
                  (not
                        (equal ?ELEMENT1 ?ELEMENT2))
                  (instance ?PROCESS ChemicalSynthesis)
                  (resource ?PROCESS ?ELEMENT1)
                  (resource ?PROCESS ?ELEMENT2)
                  (result ?PROCESS ?COMPOUND))))

If substance1 對 proc 是資源 and substance2 是 proc 的結果 and substance1 是化合物的實例 and substance2 是基本物質的實例, then proc 是化學分解的實例.

(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 CompoundSubstance)
            (instance ?SUBSTANCE2 ElementalSubstance))
      (instance ?PROC ChemicalDecomposition))

If action 是產生的實例, then there exists result so that result 是 action 的結果.

(=>
      (instance ?ACTION Creation)
      (exists
            (?RESULT)
            (result ?ACTION ?RESULT)))

There exists 建構 build so that artifact 是 build 的結果 if and only if artifact 是固定人造物的實例.

(<=>
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Constructing)
                  (result ?BUILD ?ARTIFACT)))
      (instance ?ARTIFACT StationaryArtifact))

If cook 是烹飪的實例, then there exists 食物 food so that food 是 cook 的結果.

(=>
      (instance ?COOK Cooking)
      (exists
            (?FOOD)
            (and
                  (instance ?FOOD Food)
                  (result ?COOK ?FOOD))))

If part 是軀體部件的實例, then there doesn't exist 病理歷程 proc so that part 是 proc 的結果.

(=>
      (instance ?PART BodyPart)
      (not
            (exists
                  (?PROC)
                  (and
                        (instance ?PROC PathologicProcess)
                        (result ?PROC ?PART)))))

If text 是文本的實例, then there exists 寫作 write so that text 是 write 的結果.

(=>
      (instance ?TEXT Text)
      (exists
            (?WRITE)
            (and
                  (instance ?WRITE Writing)
                  (result ?WRITE ?TEXT))))

If 作者(agent,text) holds, then there exist process,text instance so that process 是 agent 的施事者 and text 是 process 的結果.

(=>
      (authors ?AGENT ?TEXT)
      (exists
            (?PROCESS ?INSTANCE)
            (and
                  (agent ?PROCESS ?AGENT)
                  (instance ?INSTANCE ?TEXT)
                  (result ?PROCESS ?TEXT))))

artifact 是人造物的實例 if and only if there exists 製作 making so that artifact 是 making 的結果.

(<=>
      (instance ?ARTIFACT Artifact)
      (exists
            (?MAKING)
            (and
                  (instance ?MAKING Making)
                  (result ?MAKING ?ARTIFACT))))

If product 是產品的實例, then there exists 生產 manufacture so that product 是 manufacture 的結果.

(=>
      (instance ?PRODUCT Product)
      (exists
            (?MANUFACTURE)
            (and
                  (instance ?MANUFACTURE Manufacture)
                  (result ?MANUFACTURE ?PRODUCT))))

if machine 是機器的實例,
then for all proc holds: if machine 對 proc 是工具, then there exist resource,result so that resource 對 proc 是資源 and result 是 proc 的結果

(=>
      (instance ?MACHINE Machine)
      (forall
            (?PROC)
            (=>
                  (instrument ?PROC ?MACHINE)
                  (exists
                        (?RESOURCE ?RESULT)
                        (and
                              (resource ?PROC ?RESOURCE)
                              (result ?PROC ?RESULT))))))

If plan 是計畫的實例 and obj 是內容載體的實例 and obj (不) �]含s) 訊息 %2, then there exists 計畫 planning so that obj 是 planning 的結果.

(=>
      (and
            (instance ?PLAN Plan)
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PLAN))
      (exists
            (?PLANNING)
            (and
                  (instance ?PLANNING Planning)
                  (result ?PLANNING ?OBJ))))