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 14410-14411
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg")	pictureList.kif 10454-10454	externalImage Artifact and "http://upload.wikimedia.org/wikipedia/commons/0/01/ Bronze_age_weapons_Romania.jpg"
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG")	pictureList.kif 10456-10456	externalImage Artifact and "http://upload.wikimedia.org/wikipedia/commons/3/35/ Colt_Python.JPG"
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg")	pictureList.kif 9909-9909	externalImage Artifact and "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Hammer2.jpg"
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg")	pictureList.kif 10455-10455	externalImage Artifact and "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Anforagrega-atenas.jpg"
(subclass Artifact Object)	Merge.kif 14409-14409	subclass Artifact and Object

appearance as argument number 2

(disjoint NaturalSatellite Artifact)	Geography.kif 3247-3247	disjoint NaturalSatellite and Artifact
(disjoint Organism Artifact)	Merge.kif 13203-13203	disjoint Organism and Artifact
(subclass AnimalResidence Artifact)	Mid-level-ontology.kif 6651-6651	subclass AnimalResidence and Artifact
(subclass Armor Artifact)	MilitaryDevices.kif 1609-1609	subclass Armor and Artifact
(subclass ArtWork Artifact)	Merge.kif 14567-14567	subclass ArtWork and Artifact
(subclass BedFrame Artifact)	Mid-level-ontology.kif 4526-4526	subclass BedFrame and Artifact
(subclass BedLinen Artifact)	Mid-level-ontology.kif 4591-4591	subclass BedLinen and Artifact
(subclass BoardOrBlock Artifact)	Mid-level-ontology.kif 5058-5058	subclass BoardOrBlock and Artifact
(subclass BoatDeck Artifact)	Mid-level-ontology.kif 4719-4719	subclass BoatDeck and Artifact
(subclass Chain Artifact)	Cars.kif 4354-4354	subclass Chain and Artifact
(subclass ChainLink Artifact)	Cars.kif 4396-4396	subclass ChainLink and Artifact
(subclass Device Artifact)	Merge.kif 14656-14656	subclass Device and Artifact
(subclass DisplayArtifact Artifact)	Mid-level-ontology.kif 3886-3886	subclass DisplayArtifact and Artifact
(subclass Document Artifact)	Mid-level-ontology.kif 24442-24442	subclass Document and Artifact
(subclass EngineCylinder Artifact)	Cars.kif 307-307	subclass EngineCylinder and Artifact
(subclass Fabric Artifact)	Merge.kif 14607-14607	subclass Fabric and Artifact
(subclass Furniture Artifact)	Mid-level-ontology.kif 4221-4221	subclass Furniture and Artifact
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 14531-14531	subclass GameArtifact and Artifact
(subclass GrabBar Artifact)	Mid-level-ontology.kif 24584-24584	subclass GrabBar and Artifact
(subclass InteriorVehicleEquipment Artifact)	Cars.kif 4668-4668	subclass InteriorVehicleEquipment and Artifact
(subclass IrrigationChannel Artifact)	Geography.kif 5378-5378	subclass IrrigationChannel and Artifact
(subclass Ladder Artifact)	Mid-level-ontology.kif 12800-12800	subclass Ladder and Artifact
(subclass Mast Artifact)	Mid-level-ontology.kif 1896-1896	subclass Mast and Artifact
(subclass Mattress Artifact)	Mid-level-ontology.kif 4506-4506	subclass Mattress and Artifact
(subclass MilitaryArtifact Artifact)	Mid-level-ontology.kif 15445-15445	subclass MilitaryArtifact and Artifact

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 1200-1200	domain engineers, 2 and Artifact
(domain equipmentType 1 Artifact)	Mid-level-ontology.kif 22028-22028	domain equipmentType, 1 and Artifact
(domain thirdPartyProduct 1 Artifact)	ComputingBrands.kif 3850-3850	domain thirdPartyProduct, 1 and Artifact
(domainSubclass powerComponent 2 Artifact)	Transportation.kif 1695-1695	domainSubclass powerComponent, 2 and Artifact
(domainSubclass version 1 Artifact)	Merge.kif 14433-14433	domainSubclass version, 1 and Artifact
(domainSubclass version 2 Artifact)	Merge.kif 14434-14434	domainSubclass version, 2 and Artifact

antecedent

(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?ARTIFACT))))

Merge.kif 14413-14418

instance Entity and Artifact
Process instance Process and Making result Process and Entity

consequent

(=> (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 4632-4652	attribute Object and MeanOfProduction hasPurpose Object and entity entity instance entity and Making involvedInEvent entity and Object result entity and Object instance entity and Artifact result entity and entity hasPurpose entity and entity instance entity and Selling patient entity and entity entity instance entity and CommercialService involvedInEvent entity and Object
(=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT))))	Merge.kif 11760-11765	instance Process and Making Entity instance Entity and Artifact result Process and Entity
(=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT)))))	Mid-level-ontology.kif 10840-10846	instance Physical and Blueprint hasPurpose Physical and entity instance entity and Artifact represents Physical and entity
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 6518-6525	instance Physical and Workshop hasPurpose Physical and entity instance entity and Making result entity and entity instance entity and Artifact
(=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ))))	Mid-level-ontology.kif 25256-25261	instance Process and ArtifactMediatedCommunication Object instance Object and Artifact instrument Process and Object
(=> (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 24871-24880	instance Physical and Easel hasPurpose Physical and entity entity instance entity and Artifact attribute entity and Flat instance entity and Putting patient entity and entity destination entity and Physical
(=> (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 4545-4564	instance Object and FourPosterBed GeometricFigure attribute Object and GeometricFigure instance GeometricFigure and Quadrilateral GeometricPoint pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint sideOfFigure OneDimensionalFigure and GeometricFigure sideOfFigure OneDimensionalFigure and GeometricFigure equal OneDimensionalFigure and OneDimensionalFigure Object Object meetsSpatially GeometricPoint and Object instance Object and Artifact instance Object and Floor orientation Object, Object and On orientation Object, Object and Vertical
(=> (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 24217-24231	instance Physical and MultimediaProjector hasPurpose Physical and entity entity and entity instance entity and RadiatingLight instrument entity and Physical patient entity and entity instance entity and VideoRecording instance entity and Image destination entity and entity instance entity and Artifact attribute entity and Flat connected Physical and entity
(=> (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 24851-24864	instance Physical and Tripod hasPurpose Physical and entity entity and entity instance entity and Artifact instance entity and Putting patient entity and entity destination entity and Physical instance entity and Process instrument entity and entity before EndFn WhenFn entity and BeginFn WhenFn entity
(=> (powerComponent ?G ?O) (and (instance ?G Device) (instance ?O Artifact)))	Mid-level-ontology.kif 2143-2147	powerComponent CorpuscularObject and Artifact instance CorpuscularObject and Device instance Artifact and Artifact

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: