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 16981-16986
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16976-16976 子類 遊戲神器 and Artifact
(subclass BaseballBase GameArtifact) Sports.kif 609-609 子類 棒球基地 and 遊戲神器
(subclass BaseballBat GameArtifact) Sports.kif 637-637 子類 棒球棒 and 遊戲神器
(subclass PitchersMound GameArtifact) Sports.kif 658-658 子類 投手丘 and 遊戲神器
(subclass GameBoard GameArtifact) Mid-level-ontology.kif 16988-16988 子類 遊戲板 and 遊戲神器
(subclass GamePiece GameArtifact) Mid-level-ontology.kif 17000-17000 子類 遊戲片 and 遊戲神器
(subclass GameGoal GameArtifact) Mid-level-ontology.kif 17047-17047 子類 遊戲目標 and 遊戲神器
(subclass PlayingCard GameArtifact) Mid-level-ontology.kif 17124-17124 子類 紙牌 and 遊戲神器


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