| 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 15783-15784 | |
| (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 15782-15782 |
| appearance as argument number 2 |
|
|
| (disjoint NaturalSatellite Artifact) | Geography.kif 3376-3376 | |
| (disjoint Organism Artifact) | Merge.kif 14460-14460 | |
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 8178-8178 | |
| (subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | |
| (subclass ArtWork Artifact) | Merge.kif 15940-15940 | |
| (subclass Bandage Artifact) | Mid-level-ontology.kif 6649-6649 | |
| (subclass BedFrame Artifact) | Mid-level-ontology.kif 4518-4518 | |
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4591-4591 | |
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 5223-5223 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4719-4719 | |
| (subclass Buttstock Artifact) | Mid-level-ontology.kif 1423-1423 | |
| (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 16066-16066 | |
| (subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3822-3822 | |
| (subclass Document Artifact) | Mid-level-ontology.kif 28032-28032 | |
| (subclass EngineCylinder Artifact) | Cars.kif 307-307 | |
| (subclass Fabric Artifact) | Merge.kif 15980-15980 | |
| (subclass Forestock Artifact) | Mid-level-ontology.kif 1456-1456 | |
| (subclass Furniture Artifact) | Mid-level-ontology.kif 4159-4159 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 18373-18373 | |
| (subclass GrabBar Artifact) | Mid-level-ontology.kif 28122-28122 | |
| (subclass GunChamber Artifact) | Mid-level-ontology.kif 1314-1314 | |
| (subclass GunCylinder Artifact) | Mid-level-ontology.kif 2080-2080 | |
| 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 25993-25993 | |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 2204-2204 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | |
| (domainSubclass version 1 Artifact) | Merge.kif 15806-15806 | |
| (domainSubclass version 2 Artifact) | Merge.kif 15807-15807 |
| antecedent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))) |
Mid-level-ontology.kif 7940-7948 | |
| (=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))) |
Mid-level-ontology.kif 7927-7934 | |
| (=> (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 15786-15791 |
| consequent |
|
|
| (=> (and (instance ?CG CapitalMeanOfProduction) (attribute ?CGO ?CG)) (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM) (or (and (instance ?MONEY Currency) (equal ?CGO ?MONEY)) (and (element ?PROPERTYITEM (PropertyFn ?AGENT)) (equal ?PROPERTYITEM ?CGO)) (and (instance ?A Artifact) (equal ?CGO ?A))))) |
Economy.kif 6109-6123 | |
| (=> (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 2090-2100 | |
| (=> (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 2059-2070 | |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 32700-32705 | |
| (=> (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 6082-6102 | |
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12922-12927 | |
| (=> (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 2149-2162 | |
| (=> (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 14582-14588 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 8045-8052 | |
| (=> (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 5078-5091 | |
| (=> (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 5097-5111 | |
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 28660-28665 | |
| (=> (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 28384-28393 | |
| (=> (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 27874-27888 | |
| (=> (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 28364-28377 |
|
|
|