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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Creation

Sigma KEE - Creation
CreationCreation, Creazione, Criacao, back_up, binuhat, bring_forth, clone, communisation, communization, conception, concoction, constitution, create, creating_by_mental_acts, creating_from_raw_materials, creation, creative, cr�ation, design, development, devising, elaboration, establishment, excogitation, fashioning, federation, film_making, foliation, formation, fund, generate, growing, hectograph, industrial_enterprise, industrialisation, industrialization, initiate, innovation, invention, make, making, mimeo, mimeograph, movie_making, moviemaking, organisation, organization, originate, paglikha, produce...

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


(documentation Creation ChineseLanguage "这是创造东西的 Process subclass。注:可以用 CaseRoleresult 来指明所创造的东西。") Merge.kif 12661-12662
(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 12658-12660
(relatedInternalConcept Creation Destruction) Merge.kif 12657-12657
(subclass Creation InternalChange) Merge.kif 12656-12656

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


(subclass DevelopPrograms Creation) MilitaryProcesses.kif 1185-1185
(subclass Making Creation) Merge.kif 12678-12678
(subclass OpeningNewGraphicalWindow Creation) ComputerInput.kif 1951-1951
(subclass ProduceStudies Creation) MilitaryProcesses.kif 1213-1213
(termFormat ChineseLanguage Creation "创作") chinese_format.kif 1184-1184
(termFormat EnglishLanguage Creation "creation") english_format.kif 871-871
(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 395-395
(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 tg Creation "paglikha") terms-tg.txt 398-398

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


(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (EndFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (BeginFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 12669-12676
(=>
    (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 12664-12667

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 ?PROFILE ProfilePage)
    (exists (?USER1 ?USER2 ?CREATION)
        (and
            (instance ?USER1 InternetUser)
            (refers ?PROFILE ?USER1)
            (instance ?USER2 InternetUser)
            (instance ?CREATION Creation)
            (result ?CREATION ?PROFILE)
            (agent ?CREATION ?USER2)
            (modalAttribute
                (equal ?USER1 ?USER2) Likely))))
Facebook.kif 151-162
(=>
    (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 23142-23157
(=>
    (instance ?WALLPOST WallPost)
    (exists (?USER1 ?USER2 ?CREATION ?PROFILEWALL)
        (and
            (instance ?PROFILEWALL ProfileWall)
            (instance ?USER1 FacebookUser)
            (instance ?USER2 FacebookUser)
            (instance ?CREATION Creation)
            (refers ?PROFILEWALL ?USER2)
            (agent ?CREATION ?USER1)
            (result ?CREATION ?WALLPOST)
            (located ?WALLPOST ?PROFILEWALL)
            (not
                (equal ?USER1 ?USER2)))))
Facebook.kif 267-280
(=>
    (policyOwner ?AGENT ?POLICY)
    (exists (?CREATE)
        (and
            (instance ?CREATE Creation)
            (agent ?CREATE ?AGENT)
            (result ?CREATE ?POLICY))))
Mid-level-ontology.kif 25374-25380


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