| 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 12919-12920 | |
| (subclass Making Creation) | Merge.kif 12917-12917 | 制作 是 创作 的 subclass |
| (subclass Making IntentionalProcess) | Merge.kif 12918-12918 | 制作 是 有意图过程 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Carpentry Making) | Mid-level-ontology.kif 22413-22413 | 木工 是 制作 的 subclass |
| (subclass Constructing Making) | Merge.kif 12929-12929 | 建筑 是 制作 的 subclass |
| (subclass Cooking Making) | Merge.kif 12966-12966 | 烹饪 是 制作 的 subclass |
| (subclass Copying Making) | Mid-level-ontology.kif 22036-22036 | 模仿 是 制作 的 subclass |
| (subclass DeliveringWeaponOfMassDestruction Making) | WMD.kif 703-703 | 提供大规模杀伤性武器 是 制作 的 subclass |
| (subclass DevelopingWeaponOfMassDestruction Making) | WMD.kif 686-686 | 发展大规模杀伤性武器 是 制作 的 subclass |
| (subclass Manufacture Making) | Merge.kif 12946-12946 | 制造 是 制作 的 subclass |
| (subclass Photocopying Making) | Mid-level-ontology.kif 27970-27970 | Photocopying 是 制作 的 subclass |
| (subclass Sculpting Making) | Mid-level-ontology.kif 3745-3745 | Sculpting 是 制作 的 subclass |
| (subclass ThreeDPrinting Making) | QoSontology.kif 499-499 | ThreeDPrinting 是 制作 的 subclass |
| (subclass Weaving Making) | Mid-level-ontology.kif 5095-5095 | 织 是 制作 的 subclass |
| (termFormat ChineseLanguage Making "制作") | chinese_format.kif 1185-1185 | 织 是 制作 的 subclass |
| (termFormat EnglishLanguage Making "making") | english_format.kif 1587-1587 | 织 是 制作 的 subclass |
| (termFormat FrenchLanguage Making "faire") | french_format.kif 863-863 | 织 是 制作 的 subclass |
| (termFormat Hindi Making "rachanaa") | terms-hindi.txt 395-395 | 织 是 制作 的 subclass |
| (termFormat ItalianLanguage Making "Fabbricazione") | terms-it.txt 398-398 | 织 是 制作 的 subclass |
| (termFormat JapaneseLanguage Making "作る") | japanese_format.kif 2547-2547 | 织 是 制作 的 subclass |
| (termFormat PortugueseLanguage Making "Fazer") | portuguese_format.kif 815-815 | 织 是 制作 的 subclass |
| (termFormat cb Making "paghimo") | terms-cb.txt 400-400 | 织 是 制作 的 subclass |
| (termFormat cz Making "making") | terms-cz.txt 434-434 | 织 是 制作 的 subclass |
| (termFormat de Making "Bilden") | terms-de.txt 693-693 | 织 是 制作 的 subclass |
| (termFormat ro Making "facere") | relations-ro.kif 884-884 | 织 是 制作 的 subclass |
| (termFormat tg Making "pag-gawa") | terms-tg.txt 399-399 | 织 是 制作 的 subclass |
| appearance as argument number 3 |
|
|
| (domainSubclass MakingFn 1 Making) | Merge.kif 18505-18505 | MakingFn 的 1 数量 是 制作 的 subclass |
| antecedent |
|
|
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12922-12927 |
| 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 18163-18173 | |
| (=> (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 536-562 |
|
| (=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P)))) |
Mid-level-ontology.kif 22491-22498 | |
| (=> (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 |
|
| (=> (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 6082-6102 |
|
| (=> (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 15786-15791 | |
| (=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F)))) |
Mid-level-ontology.kif 6416-6423 | |
| (=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY)))) |
Mid-level-ontology.kif 22027-22034 | |
| (=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER)))) |
Mid-level-ontology.kif 6341-6348 | |
| (=> (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 6354-6363 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 8045-8052 | |
| (=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork))))) |
Mid-level-ontology.kif 7696-7703 | |
| (=> (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 6368-6377 | |
| (=> (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 4031-4041 | |
| (=> (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 3932-3939 | |
| (=> (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 |
|
|
|