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 12548-12550 | |
(relatedInternalConcept Creation Destruction) | Merge.kif 12547-12547 | Creation is internally related to destruction |
(subclass Creation InternalChange) | Merge.kif 12546-12546 | Creation is a subclass of internal change |
appearance as argument number 2 |
![]() |
(subclass DevelopPrograms Creation) | MilitaryProcesses.kif 1197-1197 | Develop programs is a subclass of creation |
(subclass Making Creation) | Merge.kif 12574-12574 | Making is a subclass of creation |
(subclass OpeningNewGraphicalWindow Creation) | ComputerInput.kif 2365-2365 | OpeningNewGraphicalWindow is a subclass of creation |
(subclass ProduceStudies Creation) | MilitaryProcesses.kif 1225-1225 | Produce studies is a subclass of creation |
(termFormat ChineseLanguage Creation "创作") | chinese_format.kif 1184-1184 | |
(termFormat EnglishLanguage Creation "creation") | english_format.kif 1585-1585 |
antecedent |
![]() |
(=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP)) |
Catalog.kif 167-173 |
|
(=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT))) |
Merge.kif 12552-12555 |
|
(=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 12557-12564 |
|
consequent |
![]() |
(=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12566-12572 |
|
(=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 13184-13190 |
|
(=> (instance ?BRAND Brand) (exists (?AGENT ?CREATION) (and (instance ?CREATION Creation) (result ?CREATION ?BRAND) (agent ?CREATION ?AGENT)))) |
Hotel.kif 1271-1277 |
|
(=> (instance ?PS PricingScheme) (exists (?AGENT ?CREATE) (and (instance ?CREATE Creation) (result ?CREATE ?PS) (agent ?CREATE ?AGENT)))) |
Catalog.kif 184-190 |
|
(=> (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 24635-24650 |
|
(=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 26590-26596 |
|
![]() |
![]() |