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 12814-12815
(subclass Making Creation)	Merge.kif 12812-12812	Making ist eine teilkategorie von Creation
(subclass Making IntentionalProcess)	Merge.kif 12813-12813	Making ist eine teilkategorie von IntentionalProcess

appearance as argument number 2

(subclass Carpentry Making)	Mid-level-ontology.kif 20789-20789	Carpentry ist eine teilkategorie von Making
(subclass Constructing Making)	Merge.kif 12824-12824	Constructing ist eine teilkategorie von Making
(subclass Cooking Making)	Merge.kif 12861-12861	Cooking ist eine teilkategorie von Making
(subclass Copying Making)	Mid-level-ontology.kif 20412-20412	Copying ist eine teilkategorie von Making
(subclass DeliveringWeaponOfMassDestruction Making)	WMD.kif 703-703	DeliveringWeaponOfMassDestruction ist eine teilkategorie von Making
(subclass DevelopingWeaponOfMassDestruction Making)	WMD.kif 686-686	DevelopingWeaponOfMassDestruction ist eine teilkategorie von Making
(subclass Manufacture Making)	Merge.kif 12841-12841	Manufacture ist eine teilkategorie von Making
(subclass Photocopying Making)	Mid-level-ontology.kif 26325-26325	Photocopying ist eine teilkategorie von Making
(subclass Sculpting Making)	Mid-level-ontology.kif 3276-3276	Sculpting ist eine teilkategorie von Making
(subclass Weaving Making)	Mid-level-ontology.kif 4624-4624	Weaving ist eine teilkategorie von Making
(termFormat ChineseLanguage Making "制作")	chinese_format.kif 1185-1185
(termFormat EnglishLanguage Making "making")	english_format.kif 1587-1587
(termFormat FrenchLanguage Making "faire")	french_format.kif 863-863
(termFormat Hindi Making "rachanaa")	terms-hindi.txt 395-395
(termFormat ItalianLanguage Making "Fabbricazione")	terms-it.txt 398-398
(termFormat JapaneseLanguage Making "作る")	japanese_format.kif 2547-2547
(termFormat PortugueseLanguage Making "Fazer")	portuguese_format.kif 815-815
(termFormat cb Making "paghimo")	terms-cb.txt 400-400
(termFormat cz Making "making")	terms-cz.txt 434-434
(termFormat ro Making "facere")	relations-ro.kif 884-884
(termFormat tg Making "pag-gawa")	terms-tg.txt 399-399

appearance as argument number 3

(domainSubclass MakingFn 1 Making)

Merge.kif 18371-18371

Die Zahl 1 Argument von MakingFn ist eine teilkategorie von Making %n{nicht}

antecedent

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

Merge.kif 12817-12822

Wenn Process ist ein fall von Making %n{nicht},
dann es gibt Entity um ** Entity ist ein fall von Artifact %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht}

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 16766-16776	Wenn Object ist ein fall von ArtSchool %n{nicht} und Process ist ein fall von EducationalProcess %n{nicht} und eventLocated Process and Object, dann es gibt Process und Entity um Process ist ein fall von Making %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von ArtWork %n{nicht} und Process umfasst einen hinweis auf 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 1607-1617	Wenn AutonomousAgent ist ein fall von Organization %n{nicht} und IndustryAttribute ist ein attribut von AutonomousAgent %n{nicht} und industryProductType IndustryAttribute and Object, dann es gibt Process und Entity um Process ist ein fall von Making %n{nicht} und Entity ist ein fall von Object %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P))))	Mid-level-ontology.kif 20867-20874	Wenn Potter ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Process und Entity um Entity ist ein fall von Pottery %n{nicht} und Process ist ein fall von Making %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (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 436-465	Wenn AeronauticalEngineer ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Process um AutonomousAgent hat die F�higkeit, zum Process zu tun %n{nicht} und fuer alle Process wenn Process ist ein fall von Process %n{nicht}, dann es gibt Process, Entity, and und ProcessT um Process ist ein fall von Making %n{nicht} und Entity ist ein fall von Aircraft %n{nicht} oder Entity ist ein fall von ProcessT %n{nicht} und typicalPart ProcessT and Aircraft und Entity ist ein resultat von Process %n{nicht} und Process ist ein subProzess von Process oder es gibt Process, ProcessLAN,, , Entity, and und ProcessT um Process ist ein fall von Designing %n{nicht} und Entity ist ein fall von Aircraft %n{nicht} oder Entity ist ein fall von ProcessT %n{nicht} und typicalPart ProcessT and Aircraft und ProcessLAN ist ein resultat von Process %n{nicht} und ProcessLAN drueckt Entity aus und Process ist ein subProzess von ** 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 5747-5767	Wenn MeanOfProduction ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und involvedInEvent entity and Object und Object ist ein resultat von entity nicht und entity ist ein fall von Artifact %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity hat Zweck von es gibt entity um entity ist ein fall von Selling %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht} oder es gibt entity um entity ist ein fall von CommercialService %n{nicht} und involvedInEvent entity and ** Object %n{nicht}
(=> (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	Wenn contestObject Contest, Object and AutonomousAgent, dann contestParticipant Contest and AutonomousAgent und es gibt Process, AutonomousAgent,, , Process, and und entity um Process ist ein fall von Making %n{nicht} und Object ist ein resultat von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von Judging %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und subjectiveAttribute Object, entity and AutonomousAgent ist ein resultat von Process %n{nicht} und Process ist ein subProzess von ** Contest
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT))))	Merge.kif 15685-15690	Wenn Entity ist ein fall von Artifact %n{nicht}, dann es gibt Process um Process ist ein fall von Making %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F))))	Mid-level-ontology.kif 5453-5460	Wenn Entity ist ein fall von CottonFabric %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Making %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von Cotton %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY))))	Mid-level-ontology.kif 20403-20410	Wenn Entity ist ein fall von Hay %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Making %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von Grass %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER))))	Mid-level-ontology.kif 5378-5385	Wenn Entity ist ein fall von Leather %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Making %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von Skin %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N)))))	Cars.kif 4219-4227	Wenn Physical ist ein fall von MechanicalDie %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und entity ist ein fall von MechanicalNut %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein resultat von entity %n{nicht} %n{nicht}
(=> (instance ?MT MechanicalTap) (hasPurpose ?MT (exists (?M ?B) (and (instance ?M Making) (instance ?B Bolt) (instrument ?M ?MT) (result ?M ?B)))))	Cars.kif 4205-4213	Wenn Physical ist ein fall von MechanicalTap %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und entity ist ein fall von Bolt %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein resultat von entity %n{nicht} %n{nicht}
(=> (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	Wenn AutonomousAgent ist ein fall von Brewpub %n{nicht}, dann es gibt Process, Entity, and und Process um Process ist ein fall von Making %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von Beer %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von CommercialService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von Selling %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (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 5391-5400	Wenn Entity ist ein fall von Silk %n{nicht}, dann es gibt Process, Object, and und Object um Process ist ein fall von Making %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Insect %n{nicht} und Larval ist ein attribut von ** Object %n{nicht}
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 6858-6865	Wenn Physical ist ein fall von Workshop %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von Artifact %n{nicht} %n{nicht}
(=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork)))))	Mid-level-ontology.kif 6733-6740	Wenn Physical ist ein fall von ArtStudio %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von ArtWork %n{nicht} %n{nicht}
(=> (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 5405-5414	Wenn Entity ist ein fall von Wool %n{nicht}, dann es gibt Process, Object, and und Object um Process ist ein fall von Making %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Hair %n{nicht} und Object ist ein fall von Sheep %n{nicht}
(=> (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 3562-3572	Wenn Entity ist ein fall von Paper %n{nicht}, dann es gibt Process, Object, and und Process um Process ist ein fall von Making %n{nicht} und Object ist ein fall von Cellulose %n{nicht} und Process ist ein fall von Compressing %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Process ist ein subProzess von Process und Object ist ein patient von ** Process %n{nicht}
(=> (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	Wenn Object ist ein fall von WetBar %n{nicht}, dann es gibt Object und Object um Object ist ein fall von WashBasin %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Object %n{nicht} und Flat ist ein attribut von Object %n{nicht} und Object hat Zweck von es gibt entity und entity um entity ist ein fall von Making %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von PreparedFood %n{nicht} oder entity ist ein fall von Beverage %n{nicht} und eventLocated entity and Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART)))))	ComputingBrands.kif 3932-3939	Wenn thirdPartyProduct Artifact, Organization and AutonomousAgent, dann es gibt nicht Process um Process ist ein fall von Making %n{nicht} und Process ist der agent von Organization %n{nicht} und Artifact ist ein resultat von ** Process %n{nicht}
(=> (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 725-735	Wenn yearBuilt Object and Year, dann es gibt TimeInterval und Process um TimeInterval ist ein fall von Year %n{nicht} und Process ist ein fall von Making %n{nicht} und Object ist ein resultat von Process %n{nicht} und das ende von die zeit des Bestehens von Process ist zwischen oder gleichzeitig mit der anfang von TimeInterval und das ende von ** 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: