![]() |
![]() ![]() ![]()
|
![]() |
|
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 15704-15705 | |
(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 15703-15703 | 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 14378-14378 | Organisme est disjoint de artefact |
(subclass AnimalResidence Artifact) | Mid-level-ontology.kif 6990-6990 | 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 15861-15861 | Objet d'art est une sous-classe de artefact |
(subclass Bandage Artifact) | Mid-level-ontology.kif 5685-5685 | 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 4390-4390 | Chain est une sous-classe de artefact |
(subclass ChainLink Artifact) | Cars.kif 4432-4432 | ChainLink est une sous-classe de artefact |
(subclass Device Artifact) | Merge.kif 15961-15961 | 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 26375-26375 | 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 15901-15901 | 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 16975-16975 | GameArtifact est une sous-classe de artefact |
(subclass GrabBar Artifact) | Mid-level-ontology.kif 26465-26465 | GrabBar est une sous-classe de artefact |
(subclass InteriorVehicleEquipment Artifact) | Cars.kif 4697-4697 | 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 15108-15108 | 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 24323-24323 | 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 15727-15727 | Le nombre 1 argument de version est une sous-classe de artefact |
(domainSubclass version 2 Artifact) | Merge.kif 15728-15728 | 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 15707-15712 |
consequent |
![]() |
![]() |
![]() |