| 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 15652-15653 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") | pictureList.kif 10435-10435 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") | pictureList.kif 10437-10437 | |
| (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 10436-10436 | |
| (subclass Artifact Object) | Merge.kif 15651-15651 |
| appearance as argument number 2 |
|
|
| (disjoint NaturalSatellite Artifact) | Geography.kif 3388-3388 | |
| (disjoint Organism Artifact) | Merge.kif 14326-14326 | |
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 6963-6963 | |
| (subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | |
| (subclass ArtWork Artifact) | Merge.kif 15809-15809 | |
| (subclass Bandage Artifact) | Mid-level-ontology.kif 5658-5658 | |
| (subclass BedFrame Artifact) | Mid-level-ontology.kif 4021-4021 | |
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4094-4094 | |
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 4713-4713 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4222-4222 | |
| (subclass Chain Artifact) | Cars.kif 4382-4382 | |
| (subclass ChainLink Artifact) | Cars.kif 4424-4424 | |
| (subclass Device Artifact) | Merge.kif 15909-15909 | |
| (subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3325-3325 | |
| (subclass Document Artifact) | Mid-level-ontology.kif 26319-26319 | |
| (subclass EngineCylinder Artifact) | Cars.kif 307-307 | |
| (subclass Fabric Artifact) | Merge.kif 15849-15849 | |
| (subclass Furniture Artifact) | Mid-level-ontology.kif 3662-3662 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 16948-16948 | |
| (subclass GrabBar Artifact) | Mid-level-ontology.kif 26409-26409 | |
| (subclass InteriorVehicleEquipment Artifact) | Cars.kif 4689-4689 | |
| (subclass IrrigationChannel Artifact) | Geography.kif 5679-5679 | |
| (subclass Ladder Artifact) | Mid-level-ontology.kif 15081-15081 | |
| (subclass Mast Artifact) | Mid-level-ontology.kif 1473-1473 | |
| (subclass Mattress Artifact) | Mid-level-ontology.kif 4001-4001 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain engineers 2 Artifact) | engineering.kif 1207-1207 | |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 24273-24273 | |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1707-1707 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | |
| (domainSubclass version 1 Artifact) | Merge.kif 15675-15675 | |
| (domainSubclass version 2 Artifact) | Merge.kif 15676-15676 |
| antecedent |
|
|
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15655-15660 |
| consequent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 30935-30940 | |
| (=> (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 12787-12792 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 13205-13211 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 6830-6837 | |
| (=> (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 4579-4592 | |
| (=> (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 4598-4612 | |
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 26932-26937 | |
| (=> (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 26656-26665 | |
| (=> (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 26161-26175 | |
| (=> (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 26636-26649 |
|
|
|