| Making(作る) | |
| 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 12968-12969 | |
| (subclass Making Creation) | Merge.kif 12966-12966 | 作る は 創造 の subclass では |
| (subclass Making IntentionalProcess) | Merge.kif 12967-12967 | 作る は 意図的なプロセス の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass MakingFn 1 Making) | Merge.kif 18558-18558 | MakingFn の数値 1 引数は 作る のsubclass では |
| antecedent |
|
|
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12971-12976 |
| 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 18153-18163 | |
| (=> (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 |
|
| (=> (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 |
|
| (=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P)))) |
Mid-level-ontology.kif 22484-22491 | |
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15835-15840 | |
| (=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F)))) |
Mid-level-ontology.kif 6390-6397 | |
| (=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY)))) |
Mid-level-ontology.kif 22020-22027 | |
| (=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER)))) |
Mid-level-ontology.kif 6315-6322 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 ?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 6328-6337 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 8019-8026 | |
| (=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork))))) |
Mid-level-ontology.kif 7670-7677 | |
| (=> (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 6342-6351 | |
| (=> (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 4005-4015 | |
| (=> (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 |
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3927-3934 | |
| (=> (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 |
|
|
|