VerbNet: performance-26.7|produce, engender-27|create, engender-27|generate, establish-55.5|originate, establish-55.5|originate, performance-26.7|produce, establish-55.5|originate,
| Creation | | VerbNet: performance-26.7|produce, engender-27|create, engender-27|generate, establish-55.5|originate, establish-55.5|originate, performance-26.7|produce, establish-55.5|originate, |
| 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 11838-11840 | |
| (relatedInternalConcept Creation Destruction) | Merge.kif 11837-11837 | relatedInternalConcept Creation and Destruction |
| (subclass Creation InternalChange) | Merge.kif 11836-11836 | subclass Creation and InternalChange |
| appearance as argument number 2 |
|
|
| (subclass DevelopPrograms Creation) | MilitaryProcesses.kif 1196-1196 | subclass DevelopPrograms and Creation |
| (subclass Making Creation) | Merge.kif 11856-11856 | subclass Making and Creation |
| (subclass OpeningNewGraphicalWindow Creation) | ComputerInput.kif 2383-2383 | subclass OpeningNewGraphicalWindow and Creation |
| (subclass ProduceStudies Creation) | MilitaryProcesses.kif 1224-1224 | subclass ProduceStudies and Creation |
| (termFormat ChineseLanguage Creation "创作") | chinese_format.kif 1184-1184 | |
| (termFormat EnglishLanguage Creation "creation") | english_format.kif 1590-1590 |
| antecedent |
|
|
| (<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 11847-11854 | instance Process and Creation Physical patient Process and Physical time Physical and EndFn WhenFn Process time Physical and BeginFn WhenFn Process |
| (=> (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 11842-11845 |
| consequent |
|
|
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 11382-11388 | |
| (=> (instance ?BRAND Brand) (exists (?AGENT ?CREATION) (and (instance ?CREATION Creation) (result ?CREATION ?BRAND) (agent ?CREATION ?AGENT)))) |
Hotel.kif 1244-1250 | |
| (=> (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 23238-23253 |
|
| (=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 25511-25517 |
|
|
|
|