| 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 15832-15833 | |
| (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 15831-15831 |
| appearance as argument number 2 |
|
|
| (disjoint NaturalSatellite Artifact) | Geography.kif 4065-4065 | |
| (disjoint Organism Artifact) | Merge.kif 14509-14509 | |
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 8148-8148 | |
| (subclass Armor Artifact) | MilitaryDevices.kif 1766-1766 | |
| (subclass ArtWork Artifact) | Merge.kif 15989-15989 | |
| (subclass Bandage Artifact) | Mid-level-ontology.kif 6619-6619 | |
| (subclass BedFrame Artifact) | Mid-level-ontology.kif 4492-4492 | |
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4565-4565 | |
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 5197-5197 | |
| (subclass BoatDeck Artifact) | Mid-level-ontology.kif 4693-4693 | |
| (subclass Buttstock Artifact) | Mid-level-ontology.kif 1424-1424 | |
| (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 16115-16115 | |
| (subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3796-3796 | |
| (subclass Document Artifact) | Mid-level-ontology.kif 28273-28273 | |
| (subclass EngineCylinder Artifact) | Cars.kif 307-307 | |
| (subclass Fabric Artifact) | Merge.kif 16029-16029 | |
| (subclass Forestock Artifact) | Mid-level-ontology.kif 1457-1457 | |
| (subclass Furniture Artifact) | Mid-level-ontology.kif 4133-4133 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 18349-18349 | |
| (subclass GrabBar Artifact) | Mid-level-ontology.kif 28363-28363 | |
| (subclass GunChamber Artifact) | Mid-level-ontology.kif 1315-1315 | |
| (subclass GunCylinder Artifact) | Mid-level-ontology.kif 2074-2074 | |
| 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 25974-25974 | |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 2198-2198 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3920-3920 | |
| (domainSubclass version 1 Artifact) | Merge.kif 15855-15855 | |
| (domainSubclass version 2 Artifact) | Merge.kif 15856-15856 |
| antecedent |
|
|
| (=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))) |
Mid-level-ontology.kif 7910-7918 | |
| (=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))) |
Mid-level-ontology.kif 7897-7904 | |
| (=> (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 537-563 | |
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15835-15840 |
| 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 6116-6130 | |
| (=> (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 32937-32942 | |
| (=> (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 6089-6109 | |
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12971-12976 | |
| (=> (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 505-512 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 14563-14569 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 8015-8022 | |
| (=> (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 5052-5065 | |
| (=> (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 5071-5085 | |
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 28897-28902 | |
| (=> (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 28621-28630 | |
| (=> (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 28115-28129 | |
| (=> (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 28601-28614 |
|
|
|