Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?ARTIFACT GameArtifact)
    (exists (?GAME)
        (and
            (subclass ?GAME Game)
            (capability ?GAME instrument ?ARTIFACT))))
Mid-level-ontology.kif 16980-16985
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16975-16975 GameArtifact e' uma sub-classe de Artefato
(subclass BaseballBase GameArtifact) Sports.kif 609-609 BaseballBase e' uma sub-classe de GameArtifact
(subclass BaseballBat GameArtifact) Sports.kif 637-637 BaseballBat e' uma sub-classe de GameArtifact
(subclass PitchersMound GameArtifact) Sports.kif 658-658 PitchersMound e' uma sub-classe de GameArtifact
(subclass GameBoard GameArtifact) Mid-level-ontology.kif 16987-16987 GameBoard e' uma sub-classe de GameArtifact
(subclass GamePiece GameArtifact) Mid-level-ontology.kif 16999-16999 GamePiece e' uma sub-classe de GameArtifact
(subclass GameGoal GameArtifact) Mid-level-ontology.kif 17046-17046 GameGoal e' uma sub-classe de GameArtifact
(subclass PlayingCard GameArtifact) Mid-level-ontology.kif 17123-17123 PlayingCard e' uma sub-classe de GameArtifact


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners