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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Making
Making(making)Bessemer_process, air-condition, alter, anastylosis, antiquate, antique, aquatint, architectonic, arts_and_crafts, assemble, automatise, automatize, back, barb, beat, beneficiate, border, braid, brocade, build, button, calk, camp, camp_down, carving, cast, cast_on, casting, caulk, channelise, channelize, chip, clap_together, clap_up, cleave, cobble_together, cobble_up, cobbling, coil, cold_work, coldwork, comfit, concoction, confect, confection, consolidate, construct, couture, craft, create_from_raw_material...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3217-3218
No TPTP formula. May not be expressible in strict first order. Merge.kif 12836-12837
No TPTP formula. May not be expressible in strict first order. Merge.kif 12834-12834 Making is a subclass of creation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12835-12835 Making is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20788-20788 Carpentry is a subclass of making
No TPTP formula. May not be expressible in strict first order. Merge.kif 12846-12846 Constructing is a subclass of making
No TPTP formula. May not be expressible in strict first order. Merge.kif 12883-12883 Cooking is a subclass of making
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20411-20411 Copying is a subclass of making
No TPTP formula. May not be expressible in strict first order. WMD.kif 703-703 Delivering weapon of mass destruction is a subclass of making
No TPTP formula. May not be expressible in strict first order. WMD.kif 686-686 Developing weapon of mass destruction is a subclass of making
No TPTP formula. May not be expressible in strict first order. Merge.kif 12863-12863 Manufacture is a subclass of making
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26313-26313 Photocopying is a subclass of making
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3276-3276 Sculpting is a subclass of making
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4624-4624 Weaving is a subclass of making
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1185-1185
No TPTP formula. May not be expressible in strict first order. english_format.kif 1587-1587
No TPTP formula. May not be expressible in strict first order. french_format.kif 863-863
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 395-395
No TPTP formula. May not be expressible in strict first order. terms-it.txt 398-398
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2547-2547
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 815-815
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 400-400
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 434-434
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 884-884
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 399-399

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18393-18393 The number 1 argument of Making fn is a subclass of making

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12839-12844

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16765-16775
No TPTP formula. May not be expressible in strict first order. Economy.kif 1607-1617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20866-20873
No TPTP formula. May not be expressible in strict first order. Biography.kif 436-465
No TPTP formula. May not be expressible in strict first order. Economy.kif 5747-5767
No TPTP formula. May not be expressible in strict first order. Dining.kif 883-896
No TPTP formula. May not be expressible in strict first order. Merge.kif 15707-15712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5452-5459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20402-20409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5377-5384
No TPTP formula. May not be expressible in strict first order. Cars.kif 4227-4235
No TPTP formula. May not be expressible in strict first order. Cars.kif 4213-4221
No TPTP formula. May not be expressible in strict first order. Dining.kif 51-62
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5390-5399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6857-6864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6732-6739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5404-5413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3562-3572
No TPTP formula. May not be expressible in strict first order. Food.kif 331-348
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3932-3939
No TPTP formula. May not be expressible in strict first order. Hotel.kif 725-735


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