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 15832-15833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10431-10431
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10433-10433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9890-9890
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10432-10432
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15831-15831	Artifact is a subclass of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3546-3546	Natural satellite is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14509-14509	Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8152-8152	Animal residence is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15989-15989	Art work is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6623-6623	Bandage is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4492-4492	Bed frame is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4565-4565	Bed linen is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5197-5197	Board or block is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4693-4693	Boat deck is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1424-1424	Butt stock is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	engineering.kif 920-920	Cantilever object is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4443-4443	Chain is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4485-4485	Chain link is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16115-16115	Device is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3796-3796	Display artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28286-28286	Document is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 307-307	Engine cylinder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16029-16029	Fabric is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1457-1457	Fore stock is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4133-4133	Furniture is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18363-18363	Game artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28376-28376	Grab bar is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1315-1315	Gun chamber is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2074-2074	Gun cylinder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1354-1354	Gun muzzle 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 1518-1518	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 25986-25986	The number 1 argument of equipment type is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2198-2198	The number 2 argument of power component is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3920-3920	The number 1 argument of third party product is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15855-15855	The number 1 argument of version is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15856-15856	The number 2 argument of version is a subclass of artifact

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7914-7922	If an object is an instance of artifact and non repairable is an attribute of the object, then there doesn't exist a process such that the process is an instance of repairing and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7901-7908	If an object is an instance of artifact and repairable is an attribute of the object, then there exists a process such that the process is an instance of repairing and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 537-563	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15835-15840	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 6116-6130	If an attribute is an instance of capital goods and the attribute is an attribute of the attributeO, then there exist an entity, another entity,, , the entityONEY,, , the other entityGENT and a fourth entity such that the entityONEY is an instance of currency and equal the attributeO and the entityONEY or the fourth entity is an element of belongings of the other entityGENT and equal the fourth entity and the attributeO or the other entity is an instance of artifact and equal the attributeO and the other entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2090-2100	If a process is an instance of Ordering parts and an object is a patient of the process, then there exist another object and another process such that the object is a part of the other object and the other object is an instance of artifact and the other process is an instance of manufacture and the other object is a result of the other process and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2059-2070	If a process is an instance of part inspection and an object is a patient of the process and the object is an instance of self connected object, then there exist another object and another process such that the object is a part of the other object and the other object is an instance of artifact and the other process is an instance of manufacture and the other object is a result of the other process and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32954-32959	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 6089-6109	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 12971-12976	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.	Economy.kif 2149-2162	If a process is an instance of Product assembly, then there exist an object, another object and a third object such that the object is a patient of the process and the other object is a patient of the process and equal the object and the other object and the object is an instance of self connected object and the other object is an instance of self connected object and the object is a part of the third object and the other object is a part of the third object and the third object is an instance of artifact and the third object is a result of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 505-512	If a process is an instance of 3D printing, then there exist an entity and another entity such that the entity is an instance of digital data and the entity expresses the other entity and the other entity is an instance of artifact and the other entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14572-14578	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 8019-8026	If a physical is an instance of workshop, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of making and the other 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 5052-5065	If a physical is an instance of wickering, then the physical has the purpose there exist the physicalICK, another entity,, , the physicalARP and the physicalEFT such that the physicalICK is an instance of wicker and the physicalICK is a patient of the physical and the physicalARP is a part of the physicalICK and the physicalEFT is a part of the physicalICK and the physicalARP traverses the physicalEFT and equal the physicalARP and the physicalEFT and the other entity is a result of the physical and the other entity is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5071-5085	If a physical is an instance of weaving, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and pliable is an attribute of the entity and the entity is a patient of the physical and the other entity is a part of the entity and the third entity is a part of the entity and equal the other entity and the third entity and the other entity is right angle to the third entity and the fourth entity is a result of the physical and the fourth entity is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28914-28919	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 28638-28647	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 28128-28142	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 28618-28631	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

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: