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 | Artifact is a subclass of object |
appearance as argument number 2 |
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 24323-24323 | The number 1 argument of equipment type is an instance of artifact |
(domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1735-1735 | 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 15727-15727 | The number 1 argument of version is a subclass of artifact |
(domainSubclass version 2 Artifact) | Merge.kif 15728-15728 | The number 2 argument of version is a subclass of artifact |
antecedent |
(=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15707-15712 |
|
consequent |