Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Creation
Creation(創造)

appearance as argument number 1
-------------------------


(documentation Creation ChineseLanguage "这是创造东西的 Process subclass。注:可以用 CaseRoleresult 来指明所创造的东西。") 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 12940-12942
(relatedInternalConcept Creation Destruction) Merge.kif 12939-12939 創造破壊internally 関連して
(subclass Creation InternalChange) Merge.kif 12938-12938 創造内部変化subclass では

appearance as argument number 2
-------------------------


(subclass DevelopPrograms Creation) MilitaryProcesses.kif 1197-1197 DevelopPrograms創造subclass では
(subclass Making Creation) Merge.kif 12966-12966 作る創造subclass では
(subclass OpeningNewGraphicalWindow Creation) ComputerInput.kif 2368-2368 OpeningNewGraphicalWindow創造subclass では
(subclass ProduceStudies Creation) MilitaryProcesses.kif 1225-1225 ProduceStudies創造subclass では
(termFormat ChineseLanguage Creation "创作") chinese_format.kif 1184-1184 ProduceStudies創造subclass では
(termFormat EnglishLanguage Creation "creation") english_format.kif 1585-1585 ProduceStudies創造subclass では
(termFormat FrenchLanguage Creation "cr�ation") french_format.kif 862-862 ProduceStudies創造subclass では
(termFormat Hindi Creation "srijana") terms-hindi.txt 394-394 ProduceStudies創造subclass では
(termFormat ItalianLanguage Creation "Creazione") terms-it.txt 397-397 ProduceStudies創造subclass では
(termFormat JapaneseLanguage Creation "創造") japanese_format.kif 2546-2546 ProduceStudies創造subclass では
(termFormat PortugueseLanguage Creation "Criacao") portuguese_format.kif 814-814 ProduceStudies創造subclass では
(termFormat cb Creation "binuhat") terms-cb.txt 399-399 ProduceStudies創造subclass では
(termFormat cz Creation "creation") terms-cz.txt 433-433 ProduceStudies創造subclass では
(termFormat de Creation "Kreation") terms-de.txt 692-692 ProduceStudies創造subclass では
(termFormat ro Creation "creaþie") relations-ro.kif 883-883 ProduceStudies創造subclass では
(termFormat tg Creation "paglikha") terms-tg.txt 398-398 ProduceStudies創造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 12944-12947
(=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (EndFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (BeginFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 12949-12956

consequent
-------------------------


(=>
    (and
        (patient ?PROCESS ?PATIENT)
        (time ?PATIENT
            (EndFn
                (WhenFn ?PROCESS)))
        (not
            (time ?PATIENT
                (BeginFn
                    (WhenFn ?PROCESS)))))
    (instance ?PROCESS Creation))
Merge.kif 12958-12964
(=>
    (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 26945-26960
(=>
    (policyOwner ?AGENT ?POLICY)
    (exists (?CREATE)
        (and
            (instance ?CREATE Creation)
            (agent ?CREATE ?AGENT)
            (result ?CREATE ?POLICY))))
Mid-level-ontology.kif 29101-29107


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners