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 16981-16986
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 16976-16976
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 16988-16988
GameBoard
ist eine
teilkategorie
von
GameArtifact
(
subclass
GamePiece
GameArtifact
)
Mid-level-ontology.kif 17000-17000
GamePiece
ist eine
teilkategorie
von
GameArtifact
(
subclass
GameGoal
GameArtifact
)
Mid-level-ontology.kif 17047-17047
GameGoal
ist eine
teilkategorie
von
GameArtifact
(
subclass
PlayingCard
GameArtifact
)
Mid-level-ontology.kif 17124-17124
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