(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16980-16985 | |
(subclass Game Contest) | Merge.kif 13394-13394 | Jogo e' uma sub-classe de Contest |
(subclass Game RecreationOrExercise) | Merge.kif 13395-13395 | Jogo e' uma sub-classe de Recreacao ou Exercicio |
(subclass Chess Game) | Sports.kif 465-465 | Chess e' uma sub-classe de Jogo |
(subclass Darts Game) | Sports.kif 467-467 | Darts e' uma sub-classe de Jogo |
(subclass GoGame Game) | Sports.kif 469-469 | GoGame e' uma sub-classe de Jogo |
(subclass Poker Game) | Sports.kif 471-471 | Poker e' uma sub-classe de Jogo |
(subclass Snooker Game) | Sports.kif 473-473 | Snooker e' uma sub-classe de Jogo |
(subclass Blackjack Game) | Sports.kif 475-475 | Blackjack e' uma sub-classe de Jogo |
(subclass VideoGame Game) | Mid-level-ontology.kif 25858-25858 | VideoGame e' uma sub-classe de Jogo |
(subclass Sport Game) | Merge.kif 13399-13399 | Esporte e' uma sub-classe de Jogo |
![]() |