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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Creation
Creation(creation)Creation, back_up, bring_forth, clone, communisation, communization, conception, concoction, constitution, create, creating_by_mental_acts, creating_from_raw_materials, creative, 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, produce, product_development, production, rainmaking, re-created, re-creation, recopy...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3215-3216
No TPTP formula. May not be expressible in strict first order. Merge.kif 12940-12942
No TPTP formula. May not be expressible in strict first order. Merge.kif 12939-12939 Creation is internally related to destruction
No TPTP formula. May not be expressible in strict first order. Merge.kif 12938-12938 Creation is a subclass of internal change

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1197-1197 Develop programs is a subclass of creation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12966-12966 Making is a subclass of creation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2368-2368 Opening new graphical window is a subclass of creation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1225-1225 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1184-1184 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. english_format.kif 1585-1585 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. french_format.kif 862-862 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 394-394 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. terms-it.txt 397-397 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2546-2546 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 814-814 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 399-399 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 433-433 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. terms-de.txt 692-692 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 883-883 Produce studies is a subclass of creation
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 398-398 Produce studies is a subclass of creation

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


No TPTP formula. May not be expressible in strict first order. Catalog.kif 172-178
No TPTP formula. May not be expressible in strict first order. Merge.kif 12944-12947
No TPTP formula. May not be expressible in strict first order. Merge.kif 12949-12956

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12958-12964
No TPTP formula. May not be expressible in strict first order. Music.kif 148-154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15089-15095
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1301-1307
No TPTP formula. May not be expressible in strict first order. Catalog.kif 189-195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26945-26960
No TPTP formula. May not be expressible in strict first order. 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