|
|
   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 |
| appearance as argument number 2 |
|
|
| (disjoint NaturalSatellite Artifact) | Geography.kif 3388-3388 | |
| (disjoint Organism Artifact) | Merge.kif 14378-14378 | |
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 6990-6990 | |
| (subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | |
| (subclass ArtWork Artifact) | Merge.kif 15861-15861 | |
| (subclass Bandage Artifact) | Mid-level-ontology.kif 5685-5685 | |
| (subclass BedFrame Artifact) | Mid-level-ontology.kif 4049-4049 | |
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4122-4122 | |
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 4741-4741 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4250-4250 | |
| (subclass Chain Artifact) | Cars.kif 4390-4390 | |
| (subclass ChainLink Artifact) | Cars.kif 4432-4432 | |
| (subclass Device Artifact) | Merge.kif 15961-15961 | |
| (subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3353-3353 | |
| (subclass Document Artifact) | Mid-level-ontology.kif 26375-26375 | |
| (subclass EngineCylinder Artifact) | Cars.kif 307-307 | |
| (subclass Fabric Artifact) | Merge.kif 15901-15901 | |
| (subclass Furniture Artifact) | Mid-level-ontology.kif 3690-3690 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 16975-16975 | |
| (subclass GrabBar Artifact) | Mid-level-ontology.kif 26465-26465 | |
| (subclass InteriorVehicleEquipment Artifact) | Cars.kif 4697-4697 | |
| (subclass IrrigationChannel Artifact) | Geography.kif 5701-5701 | |
| (subclass Ladder Artifact) | Mid-level-ontology.kif 15108-15108 | |
| (subclass Mast Artifact) | Mid-level-ontology.kif 1501-1501 | |
| (subclass Mattress Artifact) | Mid-level-ontology.kif 4029-4029 | |
| 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 1205-1205 | |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 24323-24323 | |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1735-1735 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | |
| (domainSubclass version 1 Artifact) | Merge.kif 15727-15727 | |
| (domainSubclass version 2 Artifact) | Merge.kif 15728-15728 |
| 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 |
|
|
|
