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 16604-16604
Organization
ist eine
teilkategorie
von
Group
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
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 7019-7019
SportsLeague
ist eine
teilkategorie
von
Organization
(
subclass
CommunicationOrganization
Organization
)
Mid-level-ontology.kif 7578-7578
CommunicationOrganization
ist eine
teilkategorie
von
Organization
(
subclass
MediaOrganization
Organization
)
Mid-level-ontology.kif 7594-7594
MediaOrganization
ist eine
teilkategorie
von
Organization
(
subclass
NonprofitOrganization
Organization
)
Mid-level-ontology.kif 7607-7607
NonprofitOrganization
ist eine
teilkategorie
von
Organization
(
subclass
CareOrganization
Organization
)
Mid-level-ontology.kif 7624-7624
CareOrganization
ist eine
teilkategorie
von
Organization
(
subclass
Commission
Organization
)
Mid-level-ontology.kif 8437-8437
Commission
ist eine
teilkategorie
von
Organization
(
subclass
ServiceOrganization
Organization
)
Mid-level-ontology.kif 8450-8450
ServiceOrganization
ist eine
teilkategorie
von
Organization
(
subclass
OrganizationalBoard
Organization
)
Mid-level-ontology.kif 8508-8508
OrganizationalBoard
ist eine
teilkategorie
von
Organization
(
subclass
SecurityUnit
Organization
)
Mid-level-ontology.kif 8521-8521
SecurityUnit
ist eine
teilkategorie
von
Organization
(
subclass
UnionOrganization
Organization
)
Mid-level-ontology.kif 8538-8538
UnionOrganization
ist eine
teilkategorie
von
Organization
(
subclass
Business
Organization
)
Merge.kif 16180-16180
Business
ist eine
teilkategorie
von
Organization
(
subclass
PoliticalOrganization
Organization
)
Merge.kif 16645-16645
PoliticalOrganization
ist eine
teilkategorie
von
Organization
(
subclass
GovernmentOrganization
Organization
)
Merge.kif 16678-16678
GovernmentOrganization
ist eine
teilkategorie
von
Organization
(
subclass
JudicialOrganization
Organization
)
Merge.kif 16724-16724
JudicialOrganization
ist eine
teilkategorie
von
Organization
(
subclass
EducationalOrganization
Organization
)
Merge.kif 16731-16731
EducationalOrganization
ist eine
teilkategorie
von
Organization
(
subclass
ReligiousOrganization
Organization
)
Merge.kif 16736-16736
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
