| Creation(cr�ation) | |
| 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 12808-12810 | |
| (relatedInternalConcept Creation Destruction) | Merge.kif 12807-12807 | Cr�ation est reli� � l'int�rieur de SUMO � destruction |
| (subclass Creation InternalChange) | Merge.kif 12806-12806 | Cr�ation est une sous-classe de changement interne |
| appearance as argument number 2 |
|
|
| (subclass DevelopPrograms Creation) | MilitaryProcesses.kif 1197-1197 | DevelopPrograms est une sous-classe de cr�ation |
| (subclass Making Creation) | Merge.kif 12834-12834 | Faire est une sous-classe de cr�ation |
| (subclass OpeningNewGraphicalWindow Creation) | ComputerInput.kif 2368-2368 | OpeningNewGraphicalWindow est une sous-classe de cr�ation |
| (subclass ProduceStudies Creation) | MilitaryProcesses.kif 1225-1225 | ProduceStudies est une sous-classe de cr�ation |
| (termFormat ChineseLanguage Creation "创作") | chinese_format.kif 1184-1184 | |
| (termFormat EnglishLanguage Creation "creation") | english_format.kif 1585-1585 | |
| (termFormat FrenchLanguage Creation "cr�ation") | french_format.kif 862-862 | |
| (termFormat Hindi Creation "srijana") | terms-hindi.txt 394-394 | |
| (termFormat ItalianLanguage Creation "Creazione") | terms-it.txt 397-397 | |
| (termFormat JapaneseLanguage Creation "創造") | japanese_format.kif 2546-2546 | |
| (termFormat PortugueseLanguage Creation "Criacao") | portuguese_format.kif 814-814 | |
| (termFormat cb Creation "binuhat") | terms-cb.txt 399-399 | |
| (termFormat cz Creation "creation") | terms-cz.txt 433-433 | |
| (termFormat ro Creation "creaþie") | relations-ro.kif 883-883 | |
| (termFormat tg Creation "paglikha") | terms-tg.txt 398-398 |
| 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 12812-12815 | |
| (=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 12817-12824 |
| consequent |
|
|
| (=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 12826-12832 | |
| (=> (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 13717-13723 | |
| (=> (instance ?BRAND Brand) (exists (?AGENT ?CREATION) (and (instance ?CREATION Creation) (result ?CREATION ?BRAND) (agent ?CREATION ?AGENT)))) |
Hotel.kif 1293-1299 | |
| (=> (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 25282-25297 |
|
| (=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 27188-27194 |
|
|
|
|