![]() |
![]() ![]() ![]()
|
![]() |
|
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 | 人工制品 是 客体 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain engineers 2 Artifact) | engineering.kif 1518-1518 | engineers 的 2 数量 是 人工制品 的 instance |
(domain equipmentType 1 Artifact) | Mid-level-ontology.kif 25986-25986 | 设备类型 的 1 数量 是 人工制品 的 instance |
(domain powerComponent 2 Artifact) | Mid-level-ontology.kif 2198-2198 | 功率元件 的 2 数量 是 人工制品 的 instance |
(domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3920-3920 | thirdPartyProduct 的 1 数量 是 人工制品 的 instance |
(domainSubclass version 1 Artifact) | Merge.kif 15855-15855 | 版本 的 1 数量 是 人工制品 的 subclass |
(domainSubclass version 2 Artifact) | Merge.kif 15856-15856 | 版本 的 2 数量 是 人工制品 的 subclass |
antecedent |
![]() |
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 32954-32959 | |
(=> (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 14572-14578 | |
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 8019-8026 | |
(=> (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 28914-28919 |
|
(=> (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 28638-28647 | |
(=> (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 28128-28142 |
|
(=> (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 28618-28631 |
![]() |
![]() |