| 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 15753-15754 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") | pictureList.kif 10431-10431 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") | pictureList.kif 10433-10433 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") | pictureList.kif 9890-9890 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega_atenas.jpg") | pictureList.kif 10432-10432 | |
| (subclass Artifact Object) | Merge.kif 15752-15752 |
| appearance as argument number 2 |
|
|
| (disjoint NaturalSatellite Artifact) | Geography.kif 3376-3376 | |
| (disjoint Organism Artifact) | Merge.kif 14430-14430 | |
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 7764-7764 | |
| (subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | |
| (subclass ArtWork Artifact) | Merge.kif 15910-15910 | |
| (subclass Bandage Artifact) | Mid-level-ontology.kif 6235-6235 | |
| (subclass BedFrame Artifact) | Mid-level-ontology.kif 4115-4115 | |
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4188-4188 | |
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 4809-4809 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4316-4316 | |
| (subclass CantileverObject Artifact) | engineering.kif 920-920 | |
| (subclass Chain Artifact) | Cars.kif 4443-4443 | |
| (subclass ChainLink Artifact) | Cars.kif 4485-4485 | |
| (subclass Device Artifact) | Merge.kif 16036-16036 | |
| (subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3419-3419 | |
| (subclass Document Artifact) | Mid-level-ontology.kif 27482-27482 | |
| (subclass EngineCylinder Artifact) | Cars.kif 307-307 | |
| (subclass Fabric Artifact) | Merge.kif 15950-15950 | |
| (subclass Furniture Artifact) | Mid-level-ontology.kif 3756-3756 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 17904-17904 | |
| (subclass GrabBar Artifact) | Mid-level-ontology.kif 27572-27572 | |
| (subclass InteriorVehicleEquipment Artifact) | Cars.kif 4750-4750 | |
| (subclass IrrigationChannel Artifact) | Geography.kif 5770-5770 | |
| (subclass Ladder Artifact) | Mid-level-ontology.kif 16037-16037 | |
| (subclass Mast Artifact) | Mid-level-ontology.kif 1494-1494 | |
| 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 1518-1518 | |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 25443-25443 | |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1801-1801 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | |
| (domainSubclass version 1 Artifact) | Merge.kif 15776-15776 | |
| (domainSubclass version 2 Artifact) | Merge.kif 15777-15777 |
| antecedent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))) |
Mid-level-ontology.kif 7526-7534 | |
| (=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))) |
Mid-level-ontology.kif 7513-7520 | |
| (=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B))))) |
QoSontology.kif 536-562 | |
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15756-15761 |
| consequent |
|
|
| (=> (and (instance ?X OrderingParts) (patient ?X ?P)) (exists (?A ?M) (and (part ?P ?A) (instance ?A Artifact) (instance ?M Manufacture) (result ?M ?A) (subProcess ?X ?M)))) |
Economy.kif 1965-1975 | |
| (=> (and (instance ?X PartInspection) (patient ?X ?P) (instance ?P SelfConnectedObject)) (exists (?A ?M) (and (part ?P ?A) (instance ?A Artifact) (instance ?M Manufacture) (result ?M ?A) (subProcess ?X ?M)))) |
Economy.kif 1934-1945 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 32132-32137 | |
| (=> (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 5957-5977 | |
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12892-12897 | |
| (=> (instance ?P ProductAssembly) (exists (?O ?Q ?W) (and (patient ?P ?O) (patient ?P ?Q) (not (equal ?O ?Q)) (instance ?O SelfConnectedObject) (instance ?Q SelfConnectedObject) (part ?O ?W) (part ?Q ?W) (instance ?W Artifact) (result ?P ?W)))) |
Economy.kif 2024-2037 | |
| (=> (instance ?P ThreeDPrinting) (exists (?X ?A) (and (instance ?X DigitalData) (represents ?X ?A) (instance ?A Artifact) (result ?P ?A)))) |
QoSontology.kif 504-511 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 14129-14135 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 7631-7638 | |
| (=> (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 4675-4688 | |
| (=> (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 4694-4708 | |
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 28110-28115 | |
| (=> (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 27834-27843 | |
| (=> (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 27324-27338 | |
| (=> (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 27814-27827 |
|
|
|