Artifact - Sigma Knowledge base Browser

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 15817-15818
(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 15816-15816

appearance as argument number 2

(disjoint NaturalSatellite Artifact)	Geography.kif 3376-3376
(disjoint Organism Artifact)	Merge.kif 14494-14494
(subclass AnimalResidence Artifact)	Mid-level-ontology.kif 8171-8171
(subclass Armor Artifact)	MilitaryDevices.kif 1609-1609
(subclass ArtWork Artifact)	Merge.kif 15974-15974
(subclass Bandage Artifact)	Mid-level-ontology.kif 6642-6642
(subclass BedFrame Artifact)	Mid-level-ontology.kif 4511-4511
(subclass BedLinen Artifact)	Mid-level-ontology.kif 4584-4584
(subclass BoardOrBlock Artifact)	Mid-level-ontology.kif 5216-5216
(subclass BoatDeck Artifact)	Mid-level-ontology.kif 4712-4712
(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 16100-16100
(subclass DisplayArtifact Artifact)	Mid-level-ontology.kif 3815-3815
(subclass Document Artifact)	Mid-level-ontology.kif 28045-28045
(subclass EngineCylinder Artifact)	Cars.kif 307-307
(subclass Fabric Artifact)	Merge.kif 16014-16014
(subclass Forestock Artifact)	Mid-level-ontology.kif 1456-1456
(subclass Furniture Artifact)	Mid-level-ontology.kif 4152-4152
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 18383-18383
(subclass GrabBar Artifact)	Mid-level-ontology.kif 28135-28135
(subclass GunChamber Artifact)	Mid-level-ontology.kif 1314-1314
(subclass GunCylinder Artifact)	Mid-level-ontology.kif 2073-2073

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 26005-26005
(domain powerComponent 2 Artifact)	Mid-level-ontology.kif 2197-2197
(domain thirdPartyProduct 1 Artifact)	ComputingBrands.kif 3920-3920
(domainSubclass version 1 Artifact)	Merge.kif 15840-15840
(domainSubclass version 2 Artifact)	Merge.kif 15841-15841

antecedent

(=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))))	Mid-level-ontology.kif 7933-7941
(=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))	Mid-level-ontology.kif 7920-7927
(=> (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 15820-15825

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 32713-32718
(=> (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 12956-12961
(=> (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 14590-14596
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 8038-8045
(=> (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 5071-5084
(=> (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 5090-5104
(=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ))))	Mid-level-ontology.kif 28673-28678
(=> (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 28397-28406
(=> (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 27887-27901
(=> (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 28377-28390

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: