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 15728-15729
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg")	pictureList.kif 10433-10433
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG")	pictureList.kif 10435-10435
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg")	pictureList.kif 9891-9891
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg")	pictureList.kif 10434-10434
(subclass Artifact Object)	Merge.kif 15727-15727	Artifact is a subclass of object

appearance as argument number 2

(disjoint NaturalSatellite Artifact)	Geography.kif 3388-3388	Natural satellite is disjoint from artifact
(disjoint Organism Artifact)	Merge.kif 14402-14402	Organism is disjoint from artifact
(subclass AnimalResidence Artifact)	Mid-level-ontology.kif 7209-7209	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 15885-15885	Art work is a subclass of artifact
(subclass Bandage Artifact)	Mid-level-ontology.kif 5680-5680	Bandage is a subclass of artifact
(subclass BedFrame Artifact)	Mid-level-ontology.kif 4042-4042	Bed frame is a subclass of artifact
(subclass BedLinen Artifact)	Mid-level-ontology.kif 4115-4115	Bed linen is a subclass of artifact
(subclass BoardOrBlock Artifact)	Mid-level-ontology.kif 4736-4736	Board or block is a subclass of artifact
(subclass BoatDeck Artifact)	Mid-level-ontology.kif 4243-4243	Boat deck is a subclass of artifact
(subclass Chain Artifact)	Cars.kif 4367-4367	Chain is a subclass of artifact
(subclass ChainLink Artifact)	Cars.kif 4409-4409	Chain link is a subclass of artifact
(subclass Device Artifact)	Merge.kif 16011-16011	Device is a subclass of artifact
(subclass DisplayArtifact Artifact)	Mid-level-ontology.kif 3346-3346	Display artifact is a subclass of artifact
(subclass Document Artifact)	Mid-level-ontology.kif 26651-26651	Document is a subclass of artifact
(subclass EngineCylinder Artifact)	Cars.kif 307-307	Engine cylinder is a subclass of artifact
(subclass Fabric Artifact)	Merge.kif 15925-15925	Fabric is a subclass of artifact
(subclass Furniture Artifact)	Mid-level-ontology.kif 3683-3683	Furniture is a subclass of artifact
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 17194-17194	Game artifact is a subclass of artifact
(subclass GrabBar Artifact)	Mid-level-ontology.kif 26741-26741	Grab bar is a subclass of artifact
(subclass InteriorVehicleEquipment Artifact)	Cars.kif 4674-4674	Vehicle interior is a subclass of artifact
(subclass IrrigationChannel Artifact)	Geography.kif 5701-5701	Irrigation channel is a subclass of artifact
(subclass Ladder Artifact)	Mid-level-ontology.kif 15327-15327	Ladder is a subclass of artifact
(subclass Mast Artifact)	Mid-level-ontology.kif 1494-1494	Mast is a subclass of artifact
(subclass Mattress Artifact)	Mid-level-ontology.kif 4022-4022	Mattress 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 1205-1205	The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact)	Mid-level-ontology.kif 24612-24612	The number 1 argument of equipment type is an instance of artifact
(domain powerComponent 2 Artifact)	Mid-level-ontology.kif 1728-1728	The number 2 argument of power component is an instance of artifact
(domain thirdPartyProduct 1 Artifact)	ComputingBrands.kif 3925-3925	The number 1 argument of third party product is an instance of artifact
(domainSubclass version 1 Artifact)	Merge.kif 15751-15751	The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact)	Merge.kif 15752-15752	The number 2 argument of version is a subclass of artifact

antecedent

(=> (and (instance ?A Artifact) (attribute ?A NonRepairable)) (not (exists (?R) (and (instance ?R Repairing) (patient ?R ?A)))))	Mid-level-ontology.kif 6971-6979	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
(=> (and (instance ?A Artifact) (attribute ?A Repairable)) (exists (?R) (and (instance ?R Repairing) (patient ?R ?A))))	Mid-level-ontology.kif 6958-6965	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
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT))))	Merge.kif 15731-15736	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

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact))	Mid-level-ontology.kif 31275-31280	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
(=> (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 5747-5767	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
(=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT))))	Merge.kif 12863-12868	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 13451-13457	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
(=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact)))))	Mid-level-ontology.kif 7076-7083	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
(=> (instance ?W Wickering) (hasPurpose ?W (exists (?WICK ?OBJ ?WARP ?WEFT) (and (instance ?WICK Wicker) (patient ?W ?WICK) (part ?WARP ?WICK) (part ?WEFT ?WICK) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT)) (result ?W ?OBJ) (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 4602-4615	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 the physicalARP is not equal to the physicalEFT and the other entity is a result of the physical and the other entity is an instance of artifact
(=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 4621-4635	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 the other entity is not equal to 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
(=> (instance ?X ArtifactMediatedCommunication) (exists (?OBJ) (and (instance ?OBJ Artifact) (instrument ?X ?OBJ))))	Mid-level-ontology.kif 27279-27284	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 27003-27012	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
(=> (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 26493-26507	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
(=> (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 26983-26996	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: