| 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 15400-15401 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") | pictureList.kif 10443-10443 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") | pictureList.kif 10445-10445 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") | pictureList.kif 9899-9899 | |
| (externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") | pictureList.kif 10444-10444 | |
| (subclass Artifact Object) | Merge.kif 15399-15399 | 人工制品 是 客体 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain engineers 2 Artifact) | engineering.kif 1204-1204 | engineers 的 2 数量 是 人工制品 的 instance |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 23681-23681 | 设备类型 的 1 数量 是 人工制品 的 instance |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3888-3888 | thirdPartyProduct 的 1 数量 是 人工制品 的 instance |
| (domainSubclass powerComponent 2 Artifact) | Transportation.kif 1710-1710 | 功率元件 的 2 数量 是 人工制品 的 subclass |
| (domainSubclass version 1 Artifact) | Merge.kif 15423-15423 | 版本 的 1 数量 是 人工制品 的 subclass |
| (domainSubclass version 2 Artifact) | Merge.kif 15424-15424 | 版本 的 2 数量 是 人工制品 的 subclass |
| antecedent |
|
|
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15403-15408 |
| consequent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact)) |
Mid-level-ontology.kif 30394-30399 | |
| (=> (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 4790-4810 |
|
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12579-12584 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 12694-12700 | |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 6518-6525 | |
| (=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ)))) |
Mid-level-ontology.kif 26385-26390 |
|
| (=> (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 26087-26096 | |
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral) (forall (?CORNER) (=> (and (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR) (and (meetsSpatially ?CORNER ?POST) (instance ?POST Artifact) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical)))))))) |
Mid-level-ontology.kif 3966-3985 | |
| (=> (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 25595-25609 |
|
| (=> (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 26067-26080 | |
| (=> (powerComponent ?G ?O) (and (instance ?G Device) (instance ?O Artifact))) |
Mid-level-ontology.kif 1691-1695 |
|
|
|