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:
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
PartyPlatform
und
AutonomousAgent
ist der
schreiber
von
** ContentBearingObject
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
PoliticalParty
%n{nicht}
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
ElectionFn
** AutonomousAgent
ist eine
teilkategorie
von
Election
,
dann
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} oder
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
subclass
Organization
Group
)
Merge.kif 16626-16626
Organization
ist eine
teilkategorie
von
Group
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16632-16632
Organization
ist eine
teilkategorie
von
AutonomousAgent
(
subclass
CrossFunctionalTeam
Organization
)
UXExperimentalTerms.kif 2611-2611
CrossFunctionalTeam
ist eine
teilkategorie
von
Organization
(
subclass
CustomerSupport
Organization
)
UXExperimentalTerms.kif 2781-2781
CustomerSupport
ist eine
teilkategorie
von
Organization
(
subclass
TransportationAuthority
Organization
)
Transportation.kif 3095-3095
TransportationAuthority
ist eine
teilkategorie
von
Organization
(
subclass
ShipCrew
Organization
)
Transportation.kif 3265-3265
ShipCrew
ist eine
teilkategorie
von
Organization
(
subclass
MarchingBand
Organization
)
Music.kif 966-966
MarchingBand
ist eine
teilkategorie
von
Organization
(
subclass
Club
Organization
)
Mid-level-ontology.kif 942-942
Club
ist eine
teilkategorie
von
Organization
(
subclass
SportsLeague
Organization
)
Mid-level-ontology.kif 7018-7018
SportsLeague
ist eine
teilkategorie
von
Organization
(
subclass
CommunicationOrganization
Organization
)
Mid-level-ontology.kif 7577-7577
CommunicationOrganization
ist eine
teilkategorie
von
Organization
(
subclass
MediaOrganization
Organization
)
Mid-level-ontology.kif 7593-7593
MediaOrganization
ist eine
teilkategorie
von
Organization
(
subclass
NonprofitOrganization
Organization
)
Mid-level-ontology.kif 7606-7606
NonprofitOrganization
ist eine
teilkategorie
von
Organization
(
subclass
CareOrganization
Organization
)
Mid-level-ontology.kif 7623-7623
CareOrganization
ist eine
teilkategorie
von
Organization
(
subclass
Commission
Organization
)
Mid-level-ontology.kif 8436-8436
Commission
ist eine
teilkategorie
von
Organization
(
subclass
ServiceOrganization
Organization
)
Mid-level-ontology.kif 8449-8449
ServiceOrganization
ist eine
teilkategorie
von
Organization
(
subclass
OrganizationalBoard
Organization
)
Mid-level-ontology.kif 8507-8507
OrganizationalBoard
ist eine
teilkategorie
von
Organization
(
subclass
SecurityUnit
Organization
)
Mid-level-ontology.kif 8520-8520
SecurityUnit
ist eine
teilkategorie
von
Organization
(
subclass
UnionOrganization
Organization
)
Mid-level-ontology.kif 8537-8537
UnionOrganization
ist eine
teilkategorie
von
Organization
(
subclass
Business
Organization
)
Merge.kif 16202-16202
Business
ist eine
teilkategorie
von
Organization
(
subclass
PoliticalOrganization
Organization
)
Merge.kif 16667-16667
PoliticalOrganization
ist eine
teilkategorie
von
Organization
(
subclass
GovernmentOrganization
Organization
)
Merge.kif 16700-16700
GovernmentOrganization
ist eine
teilkategorie
von
Organization
(
subclass
JudicialOrganization
Organization
)
Merge.kif 16746-16746
JudicialOrganization
ist eine
teilkategorie
von
Organization
(
subclass
EducationalOrganization
Organization
)
Merge.kif 16753-16753
EducationalOrganization
ist eine
teilkategorie
von
Organization
(
subclass
ReligiousOrganization
Organization
)
Merge.kif 16758-16758
ReligiousOrganization
ist eine
teilkategorie
von
Organization
(
subclass
CopyrightAuthority
Organization
)
Media.kif 1707-1707
CopyrightAuthority
ist eine
teilkategorie
von
Organization
(
subclass
HotelFrontDesk
Organization
)
Hotel.kif 1741-1741
HotelFrontDesk
ist eine
teilkategorie
von
Organization
(
subclass
LegislativeOrganization
Organization
)
Government.kif 1924-1924
LegislativeOrganization
ist eine
teilkategorie
von
Organization
(
subclass
InternationalOrganization
Organization
)
Government.kif 2510-2510
InternationalOrganization
ist eine
teilkategorie
von
Organization
(
subclass
MetallurgicalPlant
Organization
)
Geography.kif 2754-2754
MetallurgicalPlant
ist eine
teilkategorie
von
Organization
(
subclass
FinancialOrganization
Organization
)
FinancialOntology.kif 17-17
FinancialOrganization
ist eine
teilkategorie
von
Organization
(
subclass
StockMarket
Organization
)
FinancialOntology.kif 1754-1754
StockMarket
ist eine
teilkategorie
von
Organization
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
