|
|
   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 |
| appearance as argument number 2 |
|
|
| (disjoint NaturalSatellite Artifact) | Geography.kif 3388-3388 | |
| (disjoint Organism Artifact) | Merge.kif 14402-14402 | |
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 7018-7018 | |
| (subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | |
| (subclass ArtWork Artifact) | Merge.kif 15885-15885 | |
| (subclass Bandage Artifact) | Mid-level-ontology.kif 5680-5680 | |
| (subclass BedFrame Artifact) | Mid-level-ontology.kif 4042-4042 | |
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4115-4115 | |
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 4736-4736 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4243-4243 | |
| (subclass Chain Artifact) | Cars.kif 4367-4367 | |
| (subclass ChainLink Artifact) | Cars.kif 4409-4409 | |
| (subclass Device Artifact) | Merge.kif 16011-16011 | |
| (subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3346-3346 | |
| (subclass Document Artifact) | Mid-level-ontology.kif 26420-26420 | |
| (subclass EngineCylinder Artifact) | Cars.kif 307-307 | |
| (subclass Fabric Artifact) | Merge.kif 15925-15925 | |
| (subclass Furniture Artifact) | Mid-level-ontology.kif 3683-3683 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 17003-17003 | |
| (subclass GrabBar Artifact) | Mid-level-ontology.kif 26510-26510 | |
| (subclass InteriorVehicleEquipment Artifact) | Cars.kif 4674-4674 | |
| (subclass IrrigationChannel Artifact) | Geography.kif 5701-5701 | |
| (subclass Ladder Artifact) | Mid-level-ontology.kif 15136-15136 | |
| (subclass Mast Artifact) | Mid-level-ontology.kif 1494-1494 | |
| (subclass Mattress Artifact) | Mid-level-ontology.kif 4022-4022 | |
| 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 24381-24381 | |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1728-1728 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | |
| (domainSubclass version 1 Artifact) | Merge.kif 15751-15751 | |
| (domainSubclass version 2 Artifact) | Merge.kif 15752-15752 |
| 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 |
|
|
|
