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
?TEAM
SportsTeam
)
(
exists
(?SPORT)
(
and
(
subclass
?SPORT
Sport
)
(
capability
?SPORT
agent
?TEAM))))
Mid-level-ontology.kif 7528-7533
Wenn
Object
ist ein
fall
von
SportsTeam
%n{nicht},
dann es gibt
** Process
um
** Process
ist eine
teilkategorie
von
Sport
und
** Object
ist faehig %n{nicht}, in der Rolle
agent
** ** Process
zu tun
(
subclass
SportsTeam
GroupOfPeople
)
Mid-level-ontology.kif 7524-7524
SportsTeam
ist eine
teilkategorie
von
GroupOfPeople
(
subclass
BasketballTeam
SportsTeam
)
Sports.kif 503-503
BasketballTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
VolleyballTeam
SportsTeam
)
Sports.kif 505-505
VolleyballTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
SoccerTeam
SportsTeam
)
Sports.kif 507-507
SoccerTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
RugbyTeam
SportsTeam
)
Sports.kif 509-509
RugbyTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
LacrosseTeam
SportsTeam
)
Sports.kif 511-511
LacrosseTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
CarRacingTeam
SportsTeam
)
Sports.kif 513-513
CarRacingTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
MotorcycleRacingTeam
SportsTeam
)
Sports.kif 514-514
MotorcycleRacingTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
BaseballTeam
SportsTeam
)
Sports.kif 750-750
BaseballTeam
ist eine
teilkategorie
von
SportsTeam
(
subclass
FootballTeam
SportsTeam
)
Sports.kif 843-843
FootballTeam
ist eine
teilkategorie
von
SportsTeam
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