Artifact - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3579-3579
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14563-14564
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10454-10454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10456-10456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9909-9909
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10455-10455
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14562-14562	Artifact is a subclass of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3269-3269	Natural satellite is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13356-13356	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6018-6018	Animal residence is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1609-1609	Armor is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14720-14720	Art work is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3928-3928	Bed frame is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3993-3993	Bed linen is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4455-4455	Board or block is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4121-4121	Boat deck is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4398-4398	Chain is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4440-4440	Chain link is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14820-14820	Device is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3286-3286	Display artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22596-22596	Document is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 307-307	EngineCylinder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14760-14760	Fabric is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3623-3623	Furniture is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13583-13583	Game artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22686-22686	Grab bar is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4712-4712	Vehicle interior is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5483-5483	Irrigation channel is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11841-11841	Ladder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1438-1438	Mast is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3908-3908	Mattress is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14409-14409	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

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1204-1204	The number 2 argument of engineers is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20567-20567	The number 1 argument of equipment type is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3896-3896	The number 1 argument of third party product is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1710-1710	The number 2 argument of power component is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14586-14586	The number 1 argument of version is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14587-14587	The number 2 argument of version is a subclass of artifact

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14566-14571

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.	Mid-level-ontology.kif 27231-27236	If members of a class have the measure a quantity in terms of a measurement attribute and the class is an instance of class and an entity is an instance of the class, then the entity is an instance of artifact
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 the 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 has the 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11916-11921	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 10027-10033	If a physical is an instance of blueprint, then the physical has the purpose there exists an entity such that the entity is an instance of artifact and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5897-5904	If a physical is an instance of workshop, then the physical has the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23231-23236	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 22933-22942	If a physical is an instance of easel, then the physical has the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3947-3966	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 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 the 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 22441-22455	If a physical is an instance of multimedia projector, then the physical has the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22913-22926	If a physical is an instance of tripod, then the physical has the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1673-1677	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: