| Creation | |
| 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 12554-12556 | |
| (relatedInternalConcept Creation Destruction) | Merge.kif 12553-12553 | |
| (subclass Creation InternalChange) | Merge.kif 12552-12552 |
| appearance as argument number 2 |
|
|
| (subclass DevelopPrograms Creation) | MilitaryProcesses.kif 1197-1197 | |
| (subclass Making Creation) | Merge.kif 12580-12580 | |
| (subclass OpeningNewGraphicalWindow Creation) | ComputerInput.kif 2365-2365 | |
| (subclass ProduceStudies Creation) | MilitaryProcesses.kif 1225-1225 | |
| (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 12558-12561 | |
| (=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 12563-12570 |
| consequent |
|
|
| (=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12572-12578 | |
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 13188-13194 | |
| (=> (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 24639-24654 | |
| (=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 26594-26600 |
|
|
|