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

appearance as argument number 2

(disjoint NaturalSatellite Artifact)	Geography.kif 3247-3247	Natural satellite is disjoint from artifact
(disjoint Organism Artifact)	Merge.kif 13294-13294	Organism is disjoint from artifact
(subclass AnimalResidence Artifact)	Mid-level-ontology.kif 6651-6651	Animal residence is a subclass of artifact
(subclass Armor Artifact)	MilitaryDevices.kif 1609-1609	Armor is a subclass of artifact
(subclass ArtWork Artifact)	Merge.kif 14658-14658	Art work is a subclass of artifact
(subclass BedFrame Artifact)	Mid-level-ontology.kif 4526-4526	Bed frame is a subclass of artifact
(subclass BedLinen Artifact)	Mid-level-ontology.kif 4591-4591	Bed linen is a subclass of artifact
(subclass BoardOrBlock Artifact)	Mid-level-ontology.kif 5058-5058	Board or block is a subclass of artifact
(subclass BoatDeck Artifact)	Mid-level-ontology.kif 4719-4719	Boat deck is a subclass of artifact
(subclass Chain Artifact)	Cars.kif 4355-4355	Chain is a subclass of artifact
(subclass ChainLink Artifact)	Cars.kif 4397-4397	Chain link is a subclass of artifact
(subclass Device Artifact)	Merge.kif 14747-14747	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 24454-24454	Document is a subclass of artifact
(subclass EngineCylinder Artifact)	Cars.kif 307-307	EngineCylinder is a subclass of artifact
(subclass Fabric Artifact)	Merge.kif 14698-14698	Fabric is a subclass of artifact
(subclass Furniture Artifact)	Mid-level-ontology.kif 4221-4221	Furniture is a subclass of artifact
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 14532-14532	Game artifact is a subclass of artifact
(subclass GrabBar Artifact)	Mid-level-ontology.kif 24596-24596	Grab bar is a subclass of artifact
(subclass InteriorVehicleEquipment Artifact)	Cars.kif 4669-4669	Vehicle interior is a subclass of artifact
(subclass IrrigationChannel Artifact)	Geography.kif 5377-5377	Irrigation channel is a subclass of artifact
(subclass Ladder Artifact)	Mid-level-ontology.kif 12801-12801	Ladder is a subclass of artifact
(subclass Mast Artifact)	Mid-level-ontology.kif 1896-1896	Mast is a subclass of artifact
(subclass Mattress Artifact)	Mid-level-ontology.kif 4506-4506	Mattress is a subclass of artifact
(subclass MilitaryArtifact Artifact)	Mid-level-ontology.kif 15446-15446	Military artifact 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 1204-1204	The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact)	Mid-level-ontology.kif 22040-22040	The number 1 argument of equipment type is an instance of artifact
(domain thirdPartyProduct 1 Artifact)	ComputingBrands.kif 3850-3850	The number 1 argument of third party product is an instance of artifact
(domainSubclass powerComponent 2 Artifact)	Transportation.kif 1695-1695	The number 2 argument of power component is a subclass of artifact
(domainSubclass version 1 Artifact)	Merge.kif 14524-14524	The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact)	Merge.kif 14525-14525	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 14504-14509

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 purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
(=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT))))	Merge.kif 11851-11856	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 10841-10847	If a physical is an instance of blueprint, then the physical purpose there exists an entity such that the entity is an instance of artifact and the physical expresses the entity
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 6518-6525	If a physical is an instance of workshop, then the physical purpose there exists an entity such that the entity is an instance of making and another entity is a result of the entity 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 25268-25273	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 24883-24892	If a physical is an instance of easel, then the physical purpose there exist an entity and another entity such that the entity is an instance of artifact and flat is an attribute of the entity and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the 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	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 is point of intersection another one dimensional figure for the geometric point and the geometric figure の size は the one dimensional figure では %n and the geometric figure の size は the other one dimensional figure では %n 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 the 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 24229-24243	If a physical is an instance of multimedia projector, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating light and the physical is an instrument for the entity and the third entity is a patient of the entity and the third entity is an instance of video recording or the third entity is an instance of Image and the entity ends up at the other entity and the other entity is an instance of artifact and flat is an attribute of the other entity and the physical is not connected to the other 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 24863-24876	If a physical is an instance of tripod, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of artifact and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the physical and the third entity is an instance of process and the entity is an instrument for the third entity and the end of the time of existence of the other entity happens before the beginning of the time of existence of the third entity
(=> (powerComponent ?G ?O) (and (instance ?G Device) (instance ?O Artifact)))	Mid-level-ontology.kif 2143-2147	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: