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 12563-12565
(relatedInternalConcept Creation Destruction) Merge.kif 12562-12562
(subclass Creation InternalChange) Merge.kif 12561-12561

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


(subclass DevelopPrograms Creation) MilitaryProcesses.kif 1197-1197
(subclass Making Creation) Merge.kif 12589-12589
(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 172-178
(=>
    (instance ?ACTION Creation)
    (exists (?RESULT)
        (result ?ACTION ?RESULT)))
Merge.kif 12567-12570
(=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (EndFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (BeginFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 12572-12579

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


(=>
    (and
        (patient ?PROCESS ?PATIENT)
        (time ?PATIENT
            (EndFn
                (WhenFn ?PROCESS)))
        (not
            (time ?PATIENT
                (BeginFn
                    (WhenFn ?PROCESS)))))
    (instance ?PROCESS Creation))
Merge.kif 12581-12587
(=>
    (composer ?A ?M)
    (exists (?C)
        (and
            (instance ?C Creation)
            (agent ?C ?A)
            (result ?C ?M))))
Music.kif 147-153
(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))
Mid-level-ontology.kif 13237-13243
(=>
    (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 24732-24747
(=>
    (policyOwner ?AGENT ?POLICY)
    (exists (?CREATE)
        (and
            (instance ?CREATE Creation)
            (agent ?CREATE ?AGENT)
            (result ?CREATE ?POLICY))))
Mid-level-ontology.kif 26686-26692


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