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 15413-15414 | |
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") | pictureList.kif 10443-10443 | |
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") | pictureList.kif 10445-10445 | |
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") | pictureList.kif 9899-9899 | |
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") | pictureList.kif 10444-10444 | |
(subclass Artifact Object) | Merge.kif 15412-15412 | Artifact is a subclass of object |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain engineers 2 Artifact) | engineering.kif 1204-1204 | The number 2 argument of engineers is an instance of artifact |
(domain equipmentType 1 Artifact) | Mid-level-ontology.kif 23705-23705 | The number 1 argument of equipment type is an instance of artifact |
(domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3888-3888 | The number 1 argument of third party product is an instance of artifact |
(domainSubclass powerComponent 2 Artifact) | Transportation.kif 1710-1710 | The number 2 argument of power component is a subclass of artifact |
(domainSubclass version 1 Artifact) | Merge.kif 15436-15436 | The number 1 argument of version is a subclass of artifact |
(domainSubclass version 2 Artifact) | Merge.kif 15437-15437 | 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 15416-15421 |
|
consequent |
![]() |
![]() |
![]() |