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 11898-11899
(subclass Making Creation)	Merge.kif 11896-11896	subclass Making and Creation
(subclass Making IntentionalProcess)	Merge.kif 11897-11897	subclass Making and IntentionalProcess

appearance as argument number 2

(subclass Carpentry Making)	Mid-level-ontology.kif 18476-18476	subclass Carpentry and Making
(subclass Constructing Making)	Merge.kif 11908-11908	subclass Constructing and Making
(subclass Cooking Making)	Merge.kif 11935-11935	subclass Cooking and Making
(subclass Copying Making)	Mid-level-ontology.kif 18207-18207	subclass Copying and Making
(subclass DeliveringWeaponOfMassDestruction Making)	WMD.kif 698-698	subclass DeliveringWeaponOfMassDestruction and Making
(subclass DevelopingWeaponOfMassDestruction Making)	WMD.kif 681-681	subclass DevelopingWeaponOfMassDestruction and Making
(subclass Manufacture Making)	Merge.kif 11919-11919	subclass Manufacture and Making
(subclass Photocopying Making)	Mid-level-ontology.kif 24428-24428	subclass Photocopying and Making
(subclass Sculpting Making)	Mid-level-ontology.kif 3817-3817	subclass Sculpting and Making
(termFormat ChineseLanguage Making "制作")	chinese_format.kif 1185-1185
(termFormat EnglishLanguage Making "making")	english_format.kif 1592-1592

appearance as argument number 3

(domainSubclass MakingFn 1 Making)

Merge.kif 17038-17038

domainSubclass MakingFn, 1 and Making

antecedent

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

Merge.kif 11901-11906

instance Process and Making
Entity instance Entity and Artifact result Process and Entity

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 14392-14402	instance Entity and ArtSchool instance Process and EducationalProcess eventLocated Process and Entity Process Entity instance Process and Making patient Process and Entity instance Entity and ArtWork refers Process and 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 1611-1621	instance Agent and Organization attribute Agent and IndustryAttribute industryProductType IndustryAttribute and Object Process Entity instance Process and Making instance Entity and Object agent Process and Agent result Process and Entity
(=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P))))	Mid-level-ontology.kif 18564-18571	attribute Agent and Potter Process Entity instance Entity and Pottery instance Process and Making agent Process and Agent result Process and Entity
(=> (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 203-232	attribute Agent and AeronauticalEngineer Process hasSkill Process and Agent Process instance Process and Process Process Entity and ProcessT instance Process and Making instance Entity and Aircraft instance Entity and ProcessT typicalPart ProcessT and Aircraft result Process and Entity subProcess Process and Process Process ProcessLAN, Entity and ProcessT instance Process and Designing instance Entity and Aircraft instance Entity and ProcessT typicalPart ProcessT and Aircraft result Process and ProcessLAN represents ProcessLAN and Entity subProcess Process and 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 4632-4652	attribute Object and MeanOfProduction hasPurpose Object and entity entity instance entity and Making involvedInEvent entity and Object result entity and Object instance entity and Artifact result entity and entity hasPurpose entity and entity instance entity and Selling patient entity and entity entity instance entity and CommercialService involvedInEvent entity and Object
(=> (contestObject ?CONTEST ?OBJ ?AGENT) (and (contestParticipant ?CONTEST ?AGENT) (exists (?MAKE ?JUDGE ?PROC) (and (instance ?MAKE Making) (result ?MAKE ?OBJ) (agent ?MAKE ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (patient ?PROC ?OBJ) (result ?PROC (subjectiveAttribute ?OBJ ?ATTR ?JUDGE)) (subProcess ?PROC ?CONTEST)))))	Dining.kif 836-849	contestObject Contest, Object and Agent contestParticipant Contest and Agent Process Agent and Process instance Process and Making result Process and Object agent Process and Agent instance Process and Judging agent Process and Agent patient Process and Object result Process and subjectiveAttribute Object, entity and Agent subProcess Process and Contest
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT))))	Merge.kif 14551-14556	instance Entity and Artifact Process instance Process and Making result Process and Entity
(=> (instance ?C ElectricCoffeeMaker) (hasPurpose ?C (exists (?COFFEE ?M) (and (instance ?M Making) (instrument ?M ?C) (result ?M ?COFFEE) (instance ?COFFEE Coffee)))))	Mid-level-ontology.kif 23500-23508	instance Physical and ElectricCoffeeMaker hasPurpose Physical and PhysicalOFFEE entity instance entity and Making instrument entity and Physical result entity and PhysicalOFFEE instance PhysicalOFFEE and Coffee
(=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F))))	Mid-level-ontology.kif 5703-5710	instance Entity and CottonFabric Process Object instance Process and Making resource Process and Object instance Object and Cotton result Process and Entity
(=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY))))	Mid-level-ontology.kif 18198-18205	instance Entity and Hay Process Object instance Process and Making resource Process and Object instance Object and Grass result Process and Entity
(=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER))))	Mid-level-ontology.kif 5629-5636	instance Entity and Leather Process Object instance Process and Making resource Process and Object instance Object and Skin result Process and Entity
(=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N)))))	Cars.kif 4193-4201	instance Physical and MechanicalDie hasPurpose Physical and entity entity instance entity and Making instance entity and MechanicalNut instrument entity and Physical result entity and entity
(=> (instance ?MT MechanicalTap) (hasPurpose ?MT (exists (?M ?B) (and (instance ?M Making) (instance ?B Bolt) (instrument ?M ?MT) (result ?M ?B)))))	Cars.kif 4179-4187	instance Physical and MechanicalTap hasPurpose Physical and entity entity instance entity and Making instance entity and Bolt instrument entity and Physical result entity and 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	instance Agent and Brewpub Process Entity and Process instance Process and Making result Process and Entity instance Entity and Beer agent Process and Agent instance Process and CommercialService agent Process and Agent instance Process and Selling patient Process and Entity
(=> (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 5642-5651	instance Entity and Silk Process Object and Object instance Process and Making result Process and Entity resource Process and Object part Object and Object instance Object and Insect attribute Object and Larval
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 6497-6504	instance Physical and Workshop hasPurpose Physical and entity instance entity and Making result entity and entity instance entity and Artifact
(=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork)))))	Mid-level-ontology.kif 6372-6379	instance Physical and ArtStudio hasPurpose Physical and entity entity instance entity and Making result entity and entity instance entity and ArtWork
(=> (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 5656-5665	instance Entity and Wool Process Object and Object instance Process and Making result Process and Entity resource Process and Object part Object and Object instance Object and Hair instance Object and 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 4102-4112	instance Entity and Paper Process Object and Process instance Process and Making instance Object and Cellulose instance Process and Compressing resource Process and Object result Process and Entity subProcess Process and Process patient Process and Object
(=> (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))))	Mid-level-ontology.kif 25182-25199	instance Object and WetBar Object Object instance Object and WashBasin part Object and Object instance Object and Object attribute Object and Flat hasPurpose Object and entity entity instance entity and Making result entity and entity instance entity and PreparedFood instance entity and Beverage eventLocated entity and Object part Object and Object
(=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART)))))	ComputingBrands.kif 3852-3859	thirdPartyProduct Artifact, Organization and Agent Process instance Process and Making agent Process and Organization result Process and Artifact
(=> (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 698-708	yearBuilt Object and Year TimeInterval Process instance TimeInterval and Year instance Process and Making result Process and Object temporallyBetweenOrEqual BeginFn TimeInterval, EndFn WhenFn Process and EndFn TimeInterval

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: