Artifact
|
|
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 | Artefato e' uma sub-classe de Objeto |
appearance as argument number 2 |
(disjoint NaturalSatellite Artifact) | Geography.kif 3388-3388 | NaturalSatellite e' disjunto de Artefato |
(disjoint Organism Artifact) | Merge.kif 14378-14378 | Organismo e' disjunto de Artefato |
(subclass AnimalResidence Artifact) | Mid-level-ontology.kif 6990-6990 | AnimalResidence e' uma sub-classe de Artefato |
(subclass Armor Artifact) | MilitaryDevices.kif 1609-1609 | Armor e' uma sub-classe de Artefato |
(subclass ArtWork Artifact) | Merge.kif 15861-15861 | Objeto de Arte e' uma sub-classe de Artefato |
(subclass Bandage Artifact) | Mid-level-ontology.kif 5685-5685 | Bandage e' uma sub-classe de Artefato |
(subclass BedFrame Artifact) | Mid-level-ontology.kif 4049-4049 | BedFrame e' uma sub-classe de Artefato |
(subclass BedLinen Artifact) | Mid-level-ontology.kif 4122-4122 | BedLinen e' uma sub-classe de Artefato |
(subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 4741-4741 | BoardOrBlock e' uma sub-classe de Artefato |
(subclass BoatDeck Artifact) | Mid-level-ontology.kif 4250-4250 | BoatDeck e' uma sub-classe de Artefato |
(subclass Chain Artifact) | Cars.kif 4390-4390 | Chain e' uma sub-classe de Artefato |
(subclass ChainLink Artifact) | Cars.kif 4432-4432 | ChainLink e' uma sub-classe de Artefato |
(subclass Device Artifact) | Merge.kif 15961-15961 | Aparelho e' uma sub-classe de Artefato |
(subclass DisplayArtifact Artifact) | Mid-level-ontology.kif 3353-3353 | DisplayArtifact e' uma sub-classe de Artefato |
(subclass Document Artifact) | Mid-level-ontology.kif 26375-26375 | Document e' uma sub-classe de Artefato |
(subclass EngineCylinder Artifact) | Cars.kif 307-307 | EngineCylinder e' uma sub-classe de Artefato |
(subclass Fabric Artifact) | Merge.kif 15901-15901 | Tecido e' uma sub-classe de Artefato |
(subclass Furniture Artifact) | Mid-level-ontology.kif 3690-3690 | Furniture e' uma sub-classe de Artefato |
(subclass GameArtifact Artifact) | Mid-level-ontology.kif 16975-16975 | GameArtifact e' uma sub-classe de Artefato |
(subclass GrabBar Artifact) | Mid-level-ontology.kif 26465-26465 | GrabBar e' uma sub-classe de Artefato |
(subclass InteriorVehicleEquipment Artifact) | Cars.kif 4697-4697 | InteriorVehicleEquipment e' uma sub-classe de Artefato |
(subclass IrrigationChannel Artifact) | Geography.kif 5701-5701 | IrrigationChannel e' uma sub-classe de Artefato |
(subclass Ladder Artifact) | Mid-level-ontology.kif 15108-15108 | Ladder e' uma sub-classe de Artefato |
(subclass Mast Artifact) | Mid-level-ontology.kif 1501-1501 | Mast e' uma sub-classe de Artefato |
(subclass Mattress Artifact) | Mid-level-ontology.kif 4029-4029 | Mattress e' uma sub-classe de Artefato |
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 | O argumento numero 2 de engineers e' uma instancia de Artefato |
(domain equipmentType 1 Artifact) | Mid-level-ontology.kif 24323-24323 | O argumento numero 1 de equipmentType e' uma instancia de Artefato |
(domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1735-1735 | O argumento numero 2 de powerComponent e' uma instancia de Artefato |
(domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | O argumento numero 1 de thirdPartyProduct e' uma instancia de Artefato |
(domainSubclass version 1 Artifact) | Merge.kif 15727-15727 | O argumento numero 1 de version e' uma sub-classe de Artefato |
(domainSubclass version 2 Artifact) | Merge.kif 15728-15728 | O argumento numero 2 de version e' uma sub-classe de Artefato |
antecedent |
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15707-15712 |
consequent |