Artifact(Artefato) |
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 | 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 14356-14356 | Organismo e' disjunto de Artefato |
(subclass AnimalResidence Artifact) | Mid-level-ontology.kif 6991-6991 | 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 15839-15839 | Objeto de Arte e' uma sub-classe de Artefato |
(subclass Bandage Artifact) | Mid-level-ontology.kif 5686-5686 | 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 4382-4382 | Chain e' uma sub-classe de Artefato |
(subclass ChainLink Artifact) | Cars.kif 4424-4424 | ChainLink e' uma sub-classe de Artefato |
(subclass Device Artifact) | Merge.kif 15939-15939 | 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 26387-26387 | 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 15879-15879 | 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 16976-16976 | GameArtifact e' uma sub-classe de Artefato |
(subclass GrabBar Artifact) | Mid-level-ontology.kif 26477-26477 | GrabBar e' uma sub-classe de Artefato |
(subclass InteriorVehicleEquipment Artifact) | Cars.kif 4689-4689 | 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 15109-15109 | 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 24324-24324 | 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 15705-15705 | O argumento numero 1 de version e' uma sub-classe de Artefato |
(domainSubclass version 2 Artifact) | Merge.kif 15706-15706 | 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 15685-15690 |
consequent |