|
|
   Artifact
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Artifact ChineseLanguage "这是由 Making 所产生的 Object。") | chinese_format.kif 3579-3579 | |
| (documentation Artifact EnglishLanguage "An Object that is the product of a Making.") | Merge.kif 15704-15705 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") | pictureList.kif 10433-10433 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") | pictureList.kif 10435-10435 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") | pictureList.kif 9891-9891 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") | pictureList.kif 10434-10434 | |
| (subclass Artifact Object) | Merge.kif 15703-15703 | Artifact ist eine teilkategorie von Object |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain engineers 2 Artifact) | engineering.kif 1205-1205 | Die Zahl 2 Argument von engineers ist ein fall von Artifact %n{nicht} |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 24323-24323 | Die Zahl 1 Argument von equipmentType ist ein fall von Artifact %n{nicht} |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1735-1735 | Die Zahl 2 Argument von powerComponent ist ein fall von Artifact %n{nicht} |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | Die Zahl 1 Argument von thirdPartyProduct ist ein fall von Artifact %n{nicht} |
| (domainSubclass version 1 Artifact) | Merge.kif 15727-15727 | Die Zahl 1 Argument von version ist eine teilkategorie von Artifact %n{nicht} |
| (domainSubclass version 2 Artifact) | Merge.kif 15728-15728 | Die Zahl 2 Argument von version ist eine teilkategorie von Artifact %n{nicht} |
| antecedent |
|
|
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15707-15712 |
|
| consequent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 31006-31011 | |
| (=> (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 |
|
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12839-12844 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 13232-13238 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 6857-6864 |
|
| (=> (instance ?W Wickering) (hasPurpose ?W (exists (?WICK ?OBJ ?WARP ?WEFT) (and (instance ?WICK Wicker) (patient ?W ?WICK) (part ?WARP ?WICK) (part ?WEFT ?WICK) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT)) (result ?W ?OBJ) (instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 4607-4620 |
|
| (=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 4626-4640 |
|
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 27003-27008 |
|
| (=> (instance ?X Easel) (hasPurpose ?X (exists (?OBJ ?PUT) (and (instance ?OBJ Artifact) (attribute ?OBJ Flat) (instance ?PUT Putting) (patient ?PUT ?OBJ) (destination ?PUT ?X))))) |
Mid-level-ontology.kif 26727-26736 |
|
| (=> (instance ?X MultimediaProjector) (hasPurpose ?X (exists (?RS ?SCREEN ?VIDEO) (and (instance ?RS RadiatingLight) (instrument ?RS ?X) (patient ?RS ?VIDEO) (or (instance ?VIDEO VideoRecording) (instance ?VIDEO Image)) (destination ?RS ?SCREEN) (instance ?SCREEN Artifact) (attribute ?SCREEN Flat) (not (connected ?X ?SCREEN)))))) |
Mid-level-ontology.kif 26217-26231 |
|
| (=> (instance ?X Tripod) (hasPurpose ?X (exists (?OBJ ?PUT ?PROC) (and (instance ?OBJ Artifact) (instance ?PUT Putting) (patient ?PUT ?OBJ) (destination ?PUT ?X) (instance ?PROC Process) (instrument ?PROC ?OBJ) (before (EndFn (WhenFn ?PUT)) (BeginFn (WhenFn ?PROC))))))) |
Mid-level-ontology.kif 26707-26720 |
|
|
|
|
