Making - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Making ChineseLanguage "这是制作个别 Artifact 或一种 Artifact 的 Creation subclass。")	chinese_format.kif 3217-3218
(documentation Making EnglishLanguage "The subclass of Creation in which an individual Artifact or a type of Artifact is made.")	Merge.kif 12953-12954
(subclass Making Creation)	Merge.kif 12951-12951	Making is a subclass of creation
(subclass Making IntentionalProcess)	Merge.kif 12952-12952	Making is a subclass of intentional process

appearance as argument number 2

(subclass Carpentry Making)	Mid-level-ontology.kif 22423-22423	Carpentry is a subclass of making
(subclass Constructing Making)	Merge.kif 12963-12963	Constructing is a subclass of making
(subclass Cooking Making)	Merge.kif 13000-13000	Cooking is a subclass of making
(subclass Copying Making)	Mid-level-ontology.kif 22046-22046	Copying is a subclass of making
(subclass DeliveringWeaponOfMassDestruction Making)	WMD.kif 703-703	Delivering weapon of mass destruction is a subclass of making
(subclass DevelopingWeaponOfMassDestruction Making)	WMD.kif 686-686	Developing weapon of mass destruction is a subclass of making
(subclass Manufacture Making)	Merge.kif 12980-12980	Manufacture is a subclass of making
(subclass Photocopying Making)	Mid-level-ontology.kif 27983-27983	Photocopying is a subclass of making
(subclass Sculpting Making)	Mid-level-ontology.kif 3738-3738	Sculpting is a subclass of making
(subclass ThreeDPrinting Making)	QoSontology.kif 500-500	3D printing Is a subclass of making
(subclass Weaving Making)	Mid-level-ontology.kif 5088-5088	Weaving is a subclass of making
(termFormat ChineseLanguage Making "制作")	chinese_format.kif 1185-1185	Weaving is a subclass of making
(termFormat EnglishLanguage Making "making")	english_format.kif 1587-1587	Weaving is a subclass of making
(termFormat FrenchLanguage Making "faire")	french_format.kif 863-863	Weaving is a subclass of making
(termFormat Hindi Making "rachanaa")	terms-hindi.txt 395-395	Weaving is a subclass of making
(termFormat ItalianLanguage Making "Fabbricazione")	terms-it.txt 398-398	Weaving is a subclass of making
(termFormat JapaneseLanguage Making "作る")	japanese_format.kif 2547-2547	Weaving is a subclass of making
(termFormat PortugueseLanguage Making "Fazer")	portuguese_format.kif 815-815	Weaving is a subclass of making
(termFormat cb Making "paghimo")	terms-cb.txt 400-400	Weaving is a subclass of making
(termFormat cz Making "making")	terms-cz.txt 434-434	Weaving is a subclass of making
(termFormat de Making "Bilden")	terms-de.txt 693-693	Weaving is a subclass of making
(termFormat ro Making "facere")	relations-ro.kif 884-884	Weaving is a subclass of making
(termFormat tg Making "pag-gawa")	terms-tg.txt 399-399	Weaving is a subclass of making

appearance as argument number 3

(domainSubclass MakingFn 1 Making)

Merge.kif 18544-18544

The number 1 argument of Making fn is a subclass of making

antecedent

(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))

Merge.kif 12956-12961

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

(=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M))))	Mid-level-ontology.kif 18173-18183	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
(=> (and (instance ?ORG Organization) (attribute ?ORG ?INDUSTRY) (industryProductType ?INDUSTRY ?TYPE)) (exists (?EVENT ?ITEM) (and (instance ?EVENT Making) (instance ?ITEM ?TYPE) (agent ?EVENT ?ORG) (result ?EVENT ?ITEM))))	Economy.kif 1732-1742	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
(=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B)))))	QoSontology.kif 537-563	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
(=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P))))	Mid-level-ontology.kif 22501-22508	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
(=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN)))))))))	Biography.kif 444-473	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
(=> (attribute ?X MeanOfProduction) (hasPurpose ?X (or (exists (?MAKE ?PRODUCT) (and (instance ?MAKE Making) (involvedInEvent ?MAKE ?X) (not (result ?MAKE ?X)) (instance ?PRODUCT Artifact) (result ?MAKE ?PRODUCT) (hasPurpose ?PRODUCT (exists (?SELL) (and (instance ?SELL Selling) (patient ?SELL ?PRODUCT)))))) (exists (?SERVICE) (and (instance ?SERVICE CommercialService) (involvedInEvent ?SERVICE ?X))))))	Economy.kif 6089-6109	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
(=> (contestObject ?CONTEST ?OBJ ?AGENT) (and (contestParticipant ?CONTEST ?AGENT) (exists (?MAKE ?JUDGE ?PROC ?AFTR) (and (instance ?MAKE Making) (result ?MAKE ?OBJ) (agent ?MAKE ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (patient ?PROC ?OBJ) (result ?PROC (subjectiveAttribute ?OBJ ?AFTR ?JUDGE)) (subProcess ?PROC ?CONTEST)))))	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
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT))))	Merge.kif 15820-15825	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
(=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F))))	Mid-level-ontology.kif 6409-6416	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
(=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY))))	Mid-level-ontology.kif 22037-22044	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
(=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER))))	Mid-level-ontology.kif 6334-6341	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
(=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N)))))	Cars.kif 4280-4288	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
(=> (instance ?MT MechanicalTap) (hasPurpose ?MT (exists (?M ?B) (and (instance ?M Making) (instance ?B Bolt) (instrument ?M ?MT) (result ?M ?B)))))	Cars.kif 4266-4274	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
(=> (instance ?PUB Brewpub) (exists (?SERVICE ?BEER ?BREW) (and (instance ?BREW Making) (result ?BREW ?BEER) (instance ?BEER Beer) (agent ?BREW ?PUB) (instance ?SERVICE CommercialService) (agent ?SERVICE ?PUB) (instance ?SERVICE Selling) (patient ?SERVICE ?BEER))))	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
(=> (instance ?S Silk) (exists (?M ?T ?I) (and (instance ?M Making) (result ?M ?S) (resource ?M ?T) (part ?T ?I) (instance ?I Insect) (attribute ?I Larval))))	Mid-level-ontology.kif 6347-6356	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
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 8038-8045	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
(=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork)))))	Mid-level-ontology.kif 7689-7696	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
(=> (instance ?W Wool) (exists (?M ?H ?S) (and (instance ?M Making) (result ?M ?W) (resource ?M ?H) (part ?H ?S) (instance ?H Hair) (instance ?S Sheep))))	Mid-level-ontology.kif 6361-6370	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
(=> (instance ?X Paper) (exists (?MAKE ?CELL ?PRESS) (and (instance ?MAKE Making) (instance ?CELL Cellulose) (instance ?PRESS Compressing) (resource ?MAKE ?CELL) (result ?MAKE ?X) (subProcess ?MAKE ?PRESS) (patient ?PRESS ?CELL))))	Mid-level-ontology.kif 4024-4034	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
(=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X))))	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
(=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART)))))	ComputingBrands.kif 3927-3934	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
(=> (yearBuilt ?OBJ ?YEAR) (exists (?TIME ?MAKE) (and (instance ?TIME ?YEAR) (instance ?MAKE Making) (result ?MAKE ?OBJ) (temporallyBetweenOrEqual (BeginFn ?TIME) (EndFn (WhenFn ?MAKE)) (EndFn ?TIME)))))	Hotel.kif 729-739	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: