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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Creation

Sigma KEE - Creation
Creation

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


(documentation Creation ChineseLanguage "这是创造东西的 Process subclass。注:可以用 CaseRoleresult 来指明所创造的东西。") Merge.kif 12719-12720
(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 12716-12718
(relatedInternalConcept Creation Destruction) Merge.kif 12715-12715
(subclass Creation InternalChange) Merge.kif 12714-12714

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


(subclass DevelopPrograms Creation) MilitaryProcesses.kif 1185-1185
(subclass Making Creation) Merge.kif 12736-12736
(subclass OpeningNewGraphicalWindow Creation) ComputerInput.kif 1902-1902
(subclass ProduceStudies Creation) MilitaryProcesses.kif 1213-1213
(termFormat ChineseLanguage Creation "创作") chinese_format.kif 1184-1184
(termFormat EnglishLanguage Creation "creation") english_format.kif 1629-1629
(termFormat JapaneseLanguage Creation "創造") english_format.kif 1630-1630

antecedent
-------------------------


(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (EndFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (BeginFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 12727-12734
(=>
    (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 12722-12725

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


(=>
    (creator ?AGENT ?ENTITY)
    (exists (?CREATION)
        (and
            (instance ?CREATION Creation)
            (agent ?CREATION ?AGENT)
            (result ?CREATION ?ENTITY))))
Mid-level-ontology.kif 11324-11330
(=>
    (instance ?BRAND Brand)
    (exists (?AGENT ?CREATION)
        (and
            (instance ?CREATION Creation)
            (result ?CREATION ?BRAND)
            (agent ?CREATION ?AGENT))))
Hotel.kif 1240-1246
(=>
    (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 23173-23188
(=>
    (policyOwner ?AGENT ?POLICY)
    (exists (?CREATE)
        (and
            (instance ?CREATE Creation)
            (agent ?CREATE ?AGENT)
            (result ?CREATE ?POLICY))))
Mid-level-ontology.kif 25454-25460


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners