appearance as argument number 1 |
![]() |
(disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 17905-17905 | Game artifact is disjointly decomposed into game board and game piece |
(documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.") | Mid-level-ontology.kif 17906-17907 | Game artifact is disjointly decomposed into game board and game piece |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif") | pictureList.kif 8497-8497 | Game artifact is disjointly decomposed into game board and game piece |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg") | pictureList.kif 9251-9251 | Game artifact is disjointly decomposed into game board and game piece |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg") | pictureList.kif 9247-9247 | Game artifact is disjointly decomposed into game board and game piece |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg") | pictureList.kif 9248-9248 | Game artifact is disjointly decomposed into game board and game piece |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg") | pictureList.kif 9249-9249 | Game artifact is disjointly decomposed into game board and game piece |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg") | pictureList.kif 9250-9250 | Game artifact is disjointly decomposed into game board and game piece |
(subclass GameArtifact Artifact) | Mid-level-ontology.kif 17904-17904 | Game artifact is a subclass of artifact |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 17909-17914 |
|
![]() |
![]() |