| 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 15728-15729 | |
| (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 15727-15727 | 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 24381-24381 | Die Zahl 1 Argument von equipmentType ist ein fall von Artifact %n{nicht} |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1728-1728 | 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 15751-15751 | Die Zahl 1 Argument von version ist eine teilkategorie von Artifact %n{nicht} |
| (domainSubclass version 2 Artifact) | Merge.kif 15752-15752 | 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 15731-15736 |
|
| consequent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 31042-31047 | |
| (=> (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 12863-12868 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 13260-13266 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 6885-6892 |
|
| (=> (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 4602-4615 |
|
| (=> (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 4621-4635 |
|
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 27048-27053 |
|
| (=> (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 26772-26781 |
|
| (=> (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 26262-26276 |
|
| (=> (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 26752-26765 |
|
|
|
|