Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16980-16985
Wenn
Object
ist ein
fall
von
GameArtifact
%n{nicht},
dann es gibt
** Process
um
** Process
ist eine
teilkategorie
von
Game
und
** Object
ist faehig %n{nicht}, in der Rolle
instrument
** ** Process
zu tun
(
subclass
GameArtifact
Artifact
)
Mid-level-ontology.kif 16975-16975
GameArtifact
ist eine
teilkategorie
von
Artifact
(
subclass
BaseballBase
GameArtifact
)
Sports.kif 609-609
BaseballBase
ist eine
teilkategorie
von
GameArtifact
(
subclass
BaseballBat
GameArtifact
)
Sports.kif 637-637
BaseballBat
ist eine
teilkategorie
von
GameArtifact
(
subclass
PitchersMound
GameArtifact
)
Sports.kif 658-658
PitchersMound
ist eine
teilkategorie
von
GameArtifact
(
subclass
GameBoard
GameArtifact
)
Mid-level-ontology.kif 16987-16987
GameBoard
ist eine
teilkategorie
von
GameArtifact
(
subclass
GamePiece
GameArtifact
)
Mid-level-ontology.kif 16999-16999
GamePiece
ist eine
teilkategorie
von
GameArtifact
(
subclass
GameGoal
GameArtifact
)
Mid-level-ontology.kif 17046-17046
GameGoal
ist eine
teilkategorie
von
GameArtifact
(
subclass
PlayingCard
GameArtifact
)
Mid-level-ontology.kif 17123-17123
PlayingCard
ist eine
teilkategorie
von
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