Artifact - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Artifact,s__ChineseLanguage,'这是由 Making 所产生的 Object。')	Merge.kif 15753-15753
s__documentation(s__Artifact,s__EnglishLanguage,'An Object that is the product of a Making.')	Merge.kif 15751-15752
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__instance(s__Object,s__SetOrClass)	Merge.kif 15750-15750	Artifact is a subclass of object

appearance as argument number 2

s__disjoint(s__NaturalSatellite,s__Artifact)	Geography.kif 3234-3234	Natural satellite is disjoint from artifact
s__disjoint(s__Organism,s__Artifact)	Merge.kif 14336-14336	Organism is disjoint from artifact
s__subclass(s__AgriculturalArtifact,s__Artifact)	Society.kif 976-976	AgriculturalArtifact is a subclass of artifact
s__subclass(s__AnimalResidence,s__Artifact)	Mid-level-ontology.kif 6650-6650	Animal residence is a subclass of artifact
s__instance(s__Armor,s__SetOrClass)	MilitaryDevices.kif 1608-1608	Armor is a subclass of artifact
s__subclass(s__ArtWork,s__Artifact)	Merge.kif 15940-15940	Art work is a subclass of artifact
s__subclass(s__BedFrame,s__Artifact)	Mid-level-ontology.kif 4531-4531	Bed frame is a subclass of artifact
s__subclass(s__BedLinen,s__Artifact)	Mid-level-ontology.kif 4596-4596	Bed linen is a subclass of artifact
s__instance(s__BeverageArtifact,s__SetOrClass)	Society.kif 1149-1149	BeverageArtifact is a subclass of artifact
s__subclass(s__BoardOrBlock,s__Artifact)	Mid-level-ontology.kif 5063-5063	Board or block is a subclass of artifact
s__instance(s__BoatDeck,s__SetOrClass)	Mid-level-ontology.kif 4724-4724	Boat deck is a subclass of artifact
s__subclass(s__Cement,s__Artifact)	Society.kif 562-562	Cement is a subclass of artifact
s__subclass(s__Chain,s__Artifact)	Cars.kif 4346-4346	Chain is a subclass of artifact
s__subclass(s__ChainLink,s__Artifact)	Cars.kif 4388-4388	Chain link is a subclass of artifact
s__subclass(s__ChemicalArtifact,s__Artifact)	Society.kif 563-563	ChemicalArtifact is a subclass of artifact
s__subclass(s__Concrete,s__Artifact)	Society.kif 564-564	Concrete is a subclass of artifact
s__instance(s__ConsumerGood,s__SetOrClass)	Society.kif 565-565	ConsumerGood is a subclass of artifact
s__instance(s__Device,s__SetOrClass)	Merge.kif 16042-16042	Device is a subclass of artifact
s__instance(s__DisplayArtifact,s__SetOrClass)	Mid-level-ontology.kif 3890-3890	Display artifact is a subclass of artifact
s__subclass(s__Document,s__Artifact)	Mid-level-ontology.kif 24361-24361	Document is a subclass of artifact
s__instance(s__EngineCylinder,s__SetOrClass)	Cars.kif 307-307	EngineCylinder is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)	Merge.kif 15984-15984	Fabric is a subclass of artifact
s__instance(s__FoodArtifact,s__SetOrClass)	Society.kif 1315-1315	FoodArtifact is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)	Society.kif 1366-1366	ForestArtifact is a subclass of artifact
s__instance(s__Furniture,s__SetOrClass)	Mid-level-ontology.kif 4225-4225	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

s__domain(s__engineers__m,2,s__Artifact)	engineering.kif 1200-1200	The number 2 argument of engineers is an instance of artifact
s__domain(s__equipmentType__m,1,s__Artifact)	Mid-level-ontology.kif 21996-21996	The number 1 argument of equipment type is an instance of artifact
s__domainSubclass(s__powerComponent__m,2,s__Artifact)	Transportation.kif 1653-1653	The number 2 argument of power component is a subclass of artifact
s__domainSubclass(s__version__m,1,s__Artifact)	Merge.kif 15776-15776	The number 1 argument of version is a subclass of artifact
s__domainSubclass(s__version__m,2,s__Artifact)	Merge.kif 15777-15777	The number 2 argument of version is a subclass of artifact

antecedent

( ! [V__ARTIFACT] :
   (s__instance(V__ARTIFACT,s__Artifact) =>
     (? [V__MAKING] :
       (s__instance(V__MAKING,s__Making) &
         s__result(V__MAKING,V__ARTIFACT))))
)

Merge.kif 15755-15760

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

No TPTP formula. May not be expressible in strict first order.	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
( ! [V__MAKING] : (s__instance(V__MAKING,s__Making) => (? [V__ARTIFACT] : (s__instance(V__ARTIFACT,s__Artifact) & s__result(V__MAKING,V__ARTIFACT)))) )	Merge.kif 12685-12690	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10835-10841	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6517-6524	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
( ! [V__X] : (s__instance(V__X,s__ArtifactMediatedCommunication) => (? [V__OBJ] : (s__instance(V__OBJ,s__Artifact) & s__instrument(V__X,V__OBJ)))) )	Mid-level-ontology.kif 25175-25180	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24790-24799	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
( ! [V__X,V__SIDE1,V__SIDE2,V__BED] : (s__instance(V__X,s__FourPosterBed) => (? [V__SHAPE] : (s__attribute(V__X,V__SHAPE) & s__instance(V__SHAPE,s__Quadrilateral) & (! [V__CORNER] : ((s__pointOfIntersection(V__SIDE1,V__SIDE2,V__CORNER) & s__sideOfFigure(V__SIDE1,V__SHAPE) & s__sideOfFigure(V__SIDE2,V__SHAPE) & (~ (V__SIDE1 = V__SIDE2))) => (? [V__POST,V__FLOOR] : (s__meetsSpatially(V__CORNER,V__POST) & s__instance(V__POST,s__Artifact) & s__instance(V__FLOOR,s__Floor) & s__orientation(V__BED,V__FLOOR,s__On) & s__orientation(V__POST,V__FLOOR,s__Vertical)))))))) )	Mid-level-ontology.kif 4550-4569	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24136-24150	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24770-24783	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
( ! [V__G,V__O] : (s__powerComponent(V__G,V__O) => (s__instance(V__G,s__Device) & s__instance(V__O,s__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: