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
If
a kind of content bearing object
is a
subclass
of
party platform
and
an agent
is the
author
of
a kind of content bearing object
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
political party
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
If
an agent
is an
instance
of
agent
and the
election
of
the agent
is a
subclass
of
election
,
then
the agent
is an
instance
of
organization
or
the agent
is an
instance
of
geopolitical area
(
subclass
Organization
Group
)
Merge.kif 16604-16604
Organization
is a
subclass
of
group
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
Organization
is a
subclass
of
agent
(
subclass
CrossFunctionalTeam
Organization
)
UXExperimentalTerms.kif 2611-2611
Cross-functional team
is a
subclass
of
organization
(
subclass
CustomerSupport
Organization
)
UXExperimentalTerms.kif 2781-2781
Customer support
is a
subclass
of
organization
(
subclass
TransportationAuthority
Organization
)
Transportation.kif 3095-3095
Transportation authority
is a
subclass
of
organization
(
subclass
ShipCrew
Organization
)
Transportation.kif 3265-3265
Ship crew
is a
subclass
of
organization
(
subclass
MarchingBand
Organization
)
Music.kif 966-966
Marching band
is a
subclass
of
organization
(
subclass
Club
Organization
)
Mid-level-ontology.kif 942-942
Club
is a
subclass
of
organization
(
subclass
SportsLeague
Organization
)
Mid-level-ontology.kif 7019-7019
Sports league
is a
subclass
of
organization
(
subclass
CommunicationOrganization
Organization
)
Mid-level-ontology.kif 7578-7578
Communication organization
is a
subclass
of
organization
(
subclass
MediaOrganization
Organization
)
Mid-level-ontology.kif 7594-7594
Media organization
is a
subclass
of
organization
(
subclass
NonprofitOrganization
Organization
)
Mid-level-ontology.kif 7607-7607
Nonprofit organization
is a
subclass
of
organization
(
subclass
CareOrganization
Organization
)
Mid-level-ontology.kif 7624-7624
Care organization
is a
subclass
of
organization
(
subclass
Commission
Organization
)
Mid-level-ontology.kif 8437-8437
Commission
is a
subclass
of
organization
(
subclass
ServiceOrganization
Organization
)
Mid-level-ontology.kif 8450-8450
Service organization
is a
subclass
of
organization
(
subclass
OrganizationalBoard
Organization
)
Mid-level-ontology.kif 8508-8508
Organizational board
is a
subclass
of
organization
(
subclass
SecurityUnit
Organization
)
Mid-level-ontology.kif 8521-8521
Security unit
is a
subclass
of
organization
(
subclass
UnionOrganization
Organization
)
Mid-level-ontology.kif 8538-8538
Union organization
is a
subclass
of
organization
(
subclass
Business
Organization
)
Merge.kif 16180-16180
Business
is a
subclass
of
organization
(
subclass
PoliticalOrganization
Organization
)
Merge.kif 16645-16645
Political organization
is a
subclass
of
organization
(
subclass
GovernmentOrganization
Organization
)
Merge.kif 16678-16678
Government organization
is a
subclass
of
organization
(
subclass
JudicialOrganization
Organization
)
Merge.kif 16724-16724
Judicial organization
is a
subclass
of
organization
(
subclass
EducationalOrganization
Organization
)
Merge.kif 16731-16731
Educational organization
is a
subclass
of
organization
(
subclass
ReligiousOrganization
Organization
)
Merge.kif 16736-16736
Religious organization
is a
subclass
of
organization
(
subclass
CopyrightAuthority
Organization
)
Media.kif 1707-1707
Copyright authority
is a
subclass
of
organization
(
subclass
HotelFrontDesk
Organization
)
Hotel.kif 1741-1741
Front desk
is a
subclass
of
organization
(
subclass
LegislativeOrganization
Organization
)
Government.kif 1924-1924
Legislative organization
is a
subclass
of
organization
(
subclass
InternationalOrganization
Organization
)
Government.kif 2510-2510
International organization
is a
subclass
of
organization
(
subclass
MetallurgicalPlant
Organization
)
Geography.kif 2754-2754
Metallurgical plant
is a
subclass
of
organization
(
subclass
FinancialOrganization
Organization
)
FinancialOntology.kif 17-17
Financial organization
is a
subclass
of
organization
(
subclass
StockMarket
Organization
)
FinancialOntology.kif 1754-1754
Stock market
is a
subclass
of
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