Artifact - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Artifact ChineseLanguage "这是由 Making 所产生的 Object。")	Merge.kif 15674-15674
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.")	Merge.kif 15672-15673
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg")	pictureList.kif 10454-10454	"http://upload.wikimedia.org/wikipedia/commons/0/01/ Bronze_age_weapons_Romania.jpg" is a URL depicting artifact
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG")	pictureList.kif 10456-10456	"http://upload.wikimedia.org/wikipedia/commons/3/35/ Colt_Python.JPG" is a URL depicting artifact
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg")	pictureList.kif 9909-9909	"http://upload.wikimedia.org/wikipedia/commons/7/7b/ Hammer2.jpg" is a URL depicting artifact
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg")	pictureList.kif 10455-10455	"http://upload.wikimedia.org/wikipedia/commons/b/b5/ Anforagrega-atenas.jpg" is a URL depicting artifact
(subclass Artifact Object)	Merge.kif 15671-15671	Artifact is a subclass of object

appearance as argument number 2

(disjoint NaturalSatellite Artifact)	Geography.kif 3234-3234	Natural satellite is disjoint from artifact
(disjoint Organism Artifact)	Merge.kif 14257-14257	Organism is disjoint from artifact
(subclass AgriculturalArtifact Artifact)	Society.kif 976-976	AgriculturalArtifact is a subclass of artifact
(subclass AnimalResidence Artifact)	Mid-level-ontology.kif 6646-6646	Animal residence is a subclass of artifact
(subclass Armor Artifact)	MilitaryDevices.kif 1608-1608	Armor is a subclass of artifact
(subclass ArtWork Artifact)	Merge.kif 15861-15861	Art work is a subclass of artifact
(subclass BedFrame Artifact)	Mid-level-ontology.kif 4527-4527	Bed frame is a subclass of artifact
(subclass BedLinen Artifact)	Mid-level-ontology.kif 4592-4592	Bed linen is a subclass of artifact
(subclass BeverageArtifact Artifact)	Society.kif 1149-1149	BeverageArtifact is a subclass of artifact
(subclass BoardOrBlock Artifact)	Mid-level-ontology.kif 5059-5059	Board or block is a subclass of artifact
(subclass BoatDeck Artifact)	Mid-level-ontology.kif 4720-4720	Boat deck is a subclass of artifact
(subclass Cement Artifact)	Society.kif 562-562	Cement is a subclass of artifact
(subclass Chain Artifact)	Cars.kif 4387-4387	Chain is a subclass of artifact
(subclass ChainLink Artifact)	Cars.kif 4429-4429	Chain link is a subclass of artifact
(subclass ChemicalArtifact Artifact)	Society.kif 563-563	ChemicalArtifact is a subclass of artifact
(subclass Concrete Artifact)	Society.kif 564-564	Concrete is a subclass of artifact
(subclass ConsumerGood Artifact)	Society.kif 565-565	ConsumerGood is a subclass of artifact
(subclass Device Artifact)	Merge.kif 15963-15963	Device is a subclass of artifact
(subclass DisplayArtifact Artifact)	Mid-level-ontology.kif 3886-3886	Display artifact is a subclass of artifact
(subclass Document Artifact)	Mid-level-ontology.kif 24000-24000	Document is a subclass of artifact
(subclass EngineCylinder Artifact)	Cars.kif 307-307	EngineCylinder is a subclass of artifact
(subclass Fabric Artifact)	Merge.kif 15905-15905	Fabric is a subclass of artifact
(subclass FoodArtifact Artifact)	Society.kif 1315-1315	FoodArtifact is a subclass of artifact
(subclass ForestArtifact Artifact)	Society.kif 1366-1366	ForestArtifact is a subclass of artifact
(subclass Furniture Artifact)	Mid-level-ontology.kif 4221-4221	Furniture is a subclass of 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 1210-1210	The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact)	Mid-level-ontology.kif 21635-21635	The number 1 argument of equipment type is an instance of artifact
(domainSubclass powerComponent 2 Artifact)	Transportation.kif 1653-1653	The number 2 argument of power component is a subclass of artifact
(domainSubclass version 1 Artifact)	Merge.kif 15697-15697	The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact)	Merge.kif 15698-15698	The number 2 argument of version is a subclass of artifact

antecedent

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

Merge.kif 15676-15681

If an entity is an instance of artifact,
then there exists a process such that the process is an instance of making and the entity is a result of the process

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	If mean of production is an attribute of an object, then the object has purpose there exist a process and an entity such that the process is an instance of making and the object is an involved in event of the process and the object is not a result of the process and the entity is an instance of artifact and the entity is a result of the process and the entity has purpose there exists another process such that the other process is an instance of selling and the entity is a patient of the other process or there exists a third process such that the third process is an instance of commercial service and the object is an involved in event of the third process
(=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT))))	Merge.kif 12606-12611	If a process is an instance of making, then there exists an entity such that the entity is an instance of artifact and the entity is a result of the process
(=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT)))))	Mid-level-ontology.kif 10823-10829	If an entity is an instance of blueprint, then the entity has purpose there exists another entity such that the other entity is an instance of artifact and the entity expresses the other entity
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 6513-6520	If an entity is an instance of workshop, then the entity has purpose there exists a process such that the process is an instance of making and another entity is a result of the process and the other entity is an instance of artifact
(=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ))))	Mid-level-ontology.kif 24814-24819	If a process is an instance of artifact mediated communication, then there exists an object such that the object is an instance of artifact and the object is an instrument for the process
(=> (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 24429-24438	If an entity is an instance of easel, then the entity has purpose there exist an object and a process such that the object is an instance of artifact and flat is an attribute of the object and the process is an instance of putting and the object is a patient of the process and the process ends up at the entity
(=> (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 ?BED ?FLOOR On) (orientation ?POST ?FLOOR Vertical))))))))	Mid-level-ontology.kif 4546-4565	If an object is an instance of four-poster bed, then there exists a geometric figure such that the geometric figure is an attribute of the object and the geometric figure is an instance of quadrilateral and for all a geometric point if an one dimensional figure point of intersection another one dimensional figure for the geometric point and the size of the geometric figure is the one dimensional figure and the size of the geometric figure is the other one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object and a third object such that the geometric point meets the other object and the other object is an instance of artifact and the third object is an instance of floor and a fourth object is on to the third object and the other object is vertical to the third object
(=> (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 23775-23789	If an object is an instance of multimedia projector, then the object has purpose there exist a process, another object and an entity such that the process is an instance of radiating light and the object is an instrument for the process and the entity is a patient of the process and the entity is an instance of video recording or the entity is an instance of Image and the process ends up at the other object and the other object is an instance of artifact and flat is an attribute of the other object and the object is not connected to the other object
(=> (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 24409-24422	If an entity is an instance of tripod, then the entity has purpose there exist an object, a process and another process such that the object is an instance of artifact and the process is an instance of putting and the object is a patient of the process and the process ends up at the entity and the other process is an instance of process and the object is an instrument for the other process and the end of the time of existence of the process happens before the beginning of the time of existence of the other process
(=> (powerComponent ?G ?O) (and (instance ?G Device) (instance ?O Artifact)))	Mid-level-ontology.kif 2148-2152	If a kind of artifact is a power component of a corpuscular object, then the corpuscular object is an instance of device and a kind of artifact is an instance of 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: