Artifact(artefact) |
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 15682-15683 | |
(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 15681-15681 | Artefact est une sous-classe de objet |
appearance as argument number 2 |
(disjoint NaturalSatellite Artifact) | Geography.kif 3388-3388 | NaturalSatellite est disjoint de artefact |
(disjoint Organism Artifact) | Merge.kif 14356-14356 | Organisme est disjoint de artefact |
(subclass AnimalResidence Artifact) | Mid-level-ontology.kif 6991-6991 | AnimalResidence est une sous-classe de artefact |
(subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | Armor est une sous-classe de artefact |
(subclass ArtWork Artifact) | Merge.kif 15839-15839 | Objet d'art est une sous-classe de artefact |
(subclass Bandage Artifact) | Mid-level-ontology.kif 5686-5686 | Bandage est une sous-classe de artefact |
(subclass BedFrame Artifact) | Mid-level-ontology.kif 4049-4049 | BedFrame est une sous-classe de artefact |
(subclass BedLinen Artifact) | Mid-level-ontology.kif 4122-4122 | BedLinen est une sous-classe de artefact |
(subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 4741-4741 | BoardOrBlock est une sous-classe de artefact |
(subclass BoatDeck Artifact) | Mid-level-ontology.kif 4250-4250 | BoatDeck est une sous-classe de artefact |
(subclass Chain Artifact) | Cars.kif 4382-4382 | Chain est une sous-classe de artefact |
(subclass ChainLink Artifact) | Cars.kif 4424-4424 | ChainLink est une sous-classe de artefact |
(subclass Device Artifact) | Merge.kif 15939-15939 | Appareil est une sous-classe de artefact |
(subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3353-3353 | DisplayArtifact est une sous-classe de artefact |
(subclass Document Artifact) | Mid-level-ontology.kif 26387-26387 | Document est une sous-classe de artefact |
(subclass EngineCylinder Artifact) | Cars.kif 307-307 | EngineCylinder est une sous-classe de artefact |
(subclass Fabric Artifact) | Merge.kif 15879-15879 | Textile est une sous-classe de artefact |
(subclass Furniture Artifact) | Mid-level-ontology.kif 3690-3690 | Furniture est une sous-classe de artefact |
(subclass GameArtifact Artifact) | Mid-level-ontology.kif 16976-16976 | GameArtifact est une sous-classe de artefact |
(subclass GrabBar Artifact) | Mid-level-ontology.kif 26477-26477 | GrabBar est une sous-classe de artefact |
(subclass InteriorVehicleEquipment Artifact) | Cars.kif 4689-4689 | InteriorVehicleEquipment est une sous-classe de artefact |
(subclass IrrigationChannel Artifact) | Geography.kif 5701-5701 | IrrigationChannel est une sous-classe de artefact |
(subclass Ladder Artifact) | Mid-level-ontology.kif 15109-15109 | Ladder est une sous-classe de artefact |
(subclass Mast Artifact) | Mid-level-ontology.kif 1501-1501 | Mast est une sous-classe de artefact |
(subclass Mattress Artifact) | Mid-level-ontology.kif 4029-4029 | Mattress est une sous-classe de artefact |
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 | Le nombre 2 argument de engineers est une instance de artefact |
(domain equipmentType 1 Artifact) | Mid-level-ontology.kif 24324-24324 | Le nombre 1 argument de equipmentType est une instance de artefact |
(domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1735-1735 | Le nombre 2 argument de powerComponent est une instance de artefact |
(domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | Le nombre 1 argument de thirdPartyProduct est une instance de artefact |
(domainSubclass version 1 Artifact) | Merge.kif 15705-15705 | Le nombre 1 argument de version est une sous-classe de artefact |
(domainSubclass version 2 Artifact) | Merge.kif 15706-15706 | Le nombre 2 argument de version est une sous-classe de artefact |
antecedent |
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15685-15690 |
consequent |