appearance as argument number 1 |
![]() |
(documentation Creation ChineseLanguage "这是创造东西的 Process subclass。注:可以用 CaseRole 的 result 来指明所创造的东西。") | chinese_format.kif 3215-3216 | |
(documentation Creation EnglishLanguage "The subclass of Process in which something is created. Note that the thing created is specified with the result CaseRole.") | Merge.kif 12940-12942 | |
(relatedInternalConcept Creation Destruction) | Merge.kif 12939-12939 | Creation is internally related to destruction |
(subclass Creation InternalChange) | Merge.kif 12938-12938 | Creation is a subclass of internal change |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP)) |
Catalog.kif 172-178 |
|
(=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT))) |
Merge.kif 12944-12947 |
|
(=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 12949-12956 |
|
consequent |
![]() |
(=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12958-12964 |
|
(=> (composer ?A ?M) (exists (?C) (and (instance ?C Creation) (agent ?C ?A) (result ?C ?M)))) |
Music.kif 148-154 |
|
(=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 15089-15095 |
|
(=> (instance ?BRAND Brand) (exists (?AGENT ?CREATION) (and (instance ?CREATION Creation) (result ?CREATION ?BRAND) (agent ?CREATION ?AGENT)))) |
Hotel.kif 1301-1307 |
|
(=> (instance ?PS PricingScheme) (exists (?AGENT ?CREATE) (and (instance ?CREATE Creation) (result ?CREATE ?PS) (agent ?CREATE ?AGENT)))) |
Catalog.kif 189-195 |
|
(=> (instance ?TUB WhirlpoolTub) (exists (?VALVE) (and (instance ?VALVE PressureControlValve) (part ?VALVE ?TUB) (hasPurpose ?VALVE (exists (?WATER ?CREATION ?MOTION) (and (instance ?WATER Water) (located ?WATER ?TUB) (instance ?CREATION Creation) (instrument ?CREATION ?VALVE) (result ?CREATION ?MOTION) (instance ?MOTION Motion) (located ?MOTION ?WATER))))))) |
Mid-level-ontology.kif 26945-26960 |
|
(=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 29101-29107 |
|
![]() |
![]() |