|
|
  Entity
|
|
|
| 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 12925-12927 | |
| (relatedInternalConcept Creation Destruction) | Merge.kif 12924-12924 | 创作 和 摧毁 是 内部相关 |
| (subclass Creation InternalChange) | Merge.kif 12923-12923 | 创作 是 内部变化 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass DevelopPrograms Creation) | MilitaryProcesses.kif 1197-1197 | 制定计划 是 创作 的 subclass |
| (subclass Making Creation) | Merge.kif 12951-12951 | 制作 是 创作 的 subclass |
| (subclass OpeningNewGraphicalWindow Creation) | ComputerInput.kif 2368-2368 | OpeningNewGraphicalWindow 是 创作 的 subclass |
| (subclass ProduceStudies Creation) | MilitaryProcesses.kif 1225-1225 | 进行研究 是 创作 的 subclass |
| (termFormat ChineseLanguage Creation "创作") | chinese_format.kif 1184-1184 | 进行研究 是 创作 的 subclass |
| (termFormat EnglishLanguage Creation "creation") | english_format.kif 1585-1585 | 进行研究 是 创作 的 subclass |
| (termFormat FrenchLanguage Creation "cr�ation") | french_format.kif 862-862 | 进行研究 是 创作 的 subclass |
| (termFormat Hindi Creation "srijana") | terms-hindi.txt 394-394 | 进行研究 是 创作 的 subclass |
| (termFormat ItalianLanguage Creation "Creazione") | terms-it.txt 397-397 | 进行研究 是 创作 的 subclass |
| (termFormat JapaneseLanguage Creation "創造") | japanese_format.kif 2546-2546 | 进行研究 是 创作 的 subclass |
| (termFormat PortugueseLanguage Creation "Criacao") | portuguese_format.kif 814-814 | 进行研究 是 创作 的 subclass |
| (termFormat cb Creation "binuhat") | terms-cb.txt 399-399 | 进行研究 是 创作 的 subclass |
| (termFormat cz Creation "creation") | terms-cz.txt 433-433 | 进行研究 是 创作 的 subclass |
| (termFormat de Creation "Kreation") | terms-de.txt 692-692 | 进行研究 是 创作 的 subclass |
| (termFormat ro Creation "creaþie") | relations-ro.kif 883-883 | 进行研究 是 创作 的 subclass |
| (termFormat tg Creation "paglikha") | terms-tg.txt 398-398 | 进行研究 是 创作 的 subclass |
| 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 12929-12932 | |
| (=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 12934-12941 |
| consequent |
|
|
| (=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12943-12949 | |
| (=> (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 26947-26962 |
|
| (=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 29103-29109 |
|
|
|