Making - Sigma Knowledge base Browser

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 12814-12815
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12812-12812	Making is a subclass of creation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12813-12813	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 20789-20789	Carpentry is a subclass of making
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12824-12824	Constructing is a subclass of making
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12861-12861	Cooking is a subclass of making
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20412-20412	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 12841-12841	Manufacture is a subclass of making
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26325-26325	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 18371-18371

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 12817-12822

If a process is an instance of making,
then there exists an entity such that the entity is an instance of artifact and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16766-16776	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the entity is an instance of art work and the process includes a reference to the other process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1607-1617	If an agent is an instance of organization and an industry attribute is an attribute of the agent and a kind of object is an industry product type of the industry attribute, then there exist a process and an entity such that the process is an instance of making and the entity is an instance of a kind of object and the agent is an agent of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20867-20874	If potter is an attribute of an agent, then there exist a process and an entity such that the entity is an instance of pottery and the process is an instance of making and the agent is an agent of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15685-15690	If an entity is an instance of artifact, then there exists a process such that the process is an instance of making and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5453-5460	If an entity is an instance of cotton fabric, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of cotton and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20403-20410	If an entity is an instance of hay, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of grass plant and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5378-5385	If an entity is an instance of leather, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of skin and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4219-4227	If a physical is an instance of die, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is an instance of nut and the physical is an instrument for the entity and the other entity is a result of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4205-4213	If a physical is an instance of tap, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is an instance of bolt and the physical is an instrument for the entity and the other entity is a result of the entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 51-62	If an agent is an instance of Brewpub, then there exist a process, an entity and another process such that the other process is an instance of making and the entity is a result of the other process and the entity is an instance of beer and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5391-5400	If an entity is an instance of silk, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the other object is an instance of insect and larval is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6858-6865	If a physical is an instance of workshop, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6733-6740	If a physical is an instance of art studio, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of art work
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5405-5414	If an entity is an instance of wool, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the object is an instance of hair and the other object is an instance of sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	If an entity is an instance of paper, then there exist a process, an object and another process such that the process is an instance of making and the object is an instance of cellulose and the other process is an instance of compressing and the object is a resource for the process and the entity is a result of the process and the process is a subprocess of the other process and the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	If an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin and the other object is a part of the object and the third object is an instance of object and flat is an attribute of the third object and the third object has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of prepared food or the other entity is an instance of beverage and the entity is located at the third object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3932-3939	If an artifact is a product owned by an agent but not manufactured by an organization, then there doesn't exist a process such that the process is an instance of making and the organization is an agent of the process and the artifact is a result of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 725-735	If an object was built in a kind of year, then there exist a time interval and a process such that the time interval is an instance of a kind of year and the process is an instance of making and the object is a result of the process and the end of the time of existence of the process is between or at the beginning of the time interval and the end of the time interval

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

KB Term:			Term intersection

English Word: