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
子類
ContentBearingObject
and
黨的平台
作者
AutonomousAgent
and
ContentBearingObject
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
政治黨派
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
例
AutonomousAgent
and
AutonomousAgent
子類
AutonomousAgent
的
election
and
選舉
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
(
subclass
Organization
Group
)
Merge.kif 16626-16626
子類
Organization
and
Group
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16632-16632
子類
Organization
and
AutonomousAgent
(
subclass
CrossFunctionalTeam
Organization
)
UXExperimentalTerms.kif 2611-2611
子類
CrossFunctionalTeam
and
Organization
(
subclass
CustomerSupport
Organization
)
UXExperimentalTerms.kif 2781-2781
子類
CustomerSupport
and
Organization
(
subclass
TransportationAuthority
Organization
)
Transportation.kif 3095-3095
子類
運輸當局
and
Organization
(
subclass
ShipCrew
Organization
)
Transportation.kif 3265-3265
子類
船員
and
Organization
(
subclass
MarchingBand
Organization
)
Music.kif 966-966
子類
MarchingBand
and
Organization
(
subclass
Club
Organization
)
Mid-level-ontology.kif 942-942
子類
Club
and
Organization
(
subclass
SportsLeague
Organization
)
Mid-level-ontology.kif 7018-7018
子類
體育聯盟
and
Organization
(
subclass
CommunicationOrganization
Organization
)
Mid-level-ontology.kif 7577-7577
子類
溝通組織
and
Organization
(
subclass
MediaOrganization
Organization
)
Mid-level-ontology.kif 7593-7593
子類
媒體組織
and
Organization
(
subclass
NonprofitOrganization
Organization
)
Mid-level-ontology.kif 7606-7606
子類
非盈利機構
and
Organization
(
subclass
CareOrganization
Organization
)
Mid-level-ontology.kif 7623-7623
子類
護理組織
and
Organization
(
subclass
Commission
Organization
)
Mid-level-ontology.kif 8436-8436
子類
佣金
and
Organization
(
subclass
ServiceOrganization
Organization
)
Mid-level-ontology.kif 8449-8449
子類
服務組織
and
Organization
(
subclass
OrganizationalBoard
Organization
)
Mid-level-ontology.kif 8507-8507
子類
組織委員會
and
Organization
(
subclass
SecurityUnit
Organization
)
Mid-level-ontology.kif 8520-8520
子類
安全部門
and
Organization
(
subclass
UnionOrganization
Organization
)
Mid-level-ontology.kif 8537-8537
子類
工會組織
and
Organization
(
subclass
Business
Organization
)
Merge.kif 16202-16202
子類
Business
and
Organization
(
subclass
PoliticalOrganization
Organization
)
Merge.kif 16667-16667
子類
PoliticalOrganization
and
Organization
(
subclass
GovernmentOrganization
Organization
)
Merge.kif 16700-16700
子類
政府組織
and
Organization
(
subclass
JudicialOrganization
Organization
)
Merge.kif 16746-16746
子類
司法組織
and
Organization
(
subclass
EducationalOrganization
Organization
)
Merge.kif 16753-16753
子類
EducationalOrganization
and
Organization
(
subclass
ReligiousOrganization
Organization
)
Merge.kif 16758-16758
子類
ReligiousOrganization
and
Organization
(
subclass
CopyrightAuthority
Organization
)
Media.kif 1707-1707
子類
CopyrightAuthority
and
Organization
(
subclass
HotelFrontDesk
Organization
)
Hotel.kif 1741-1741
子類
HotelFrontDesk
and
Organization
(
subclass
LegislativeOrganization
Organization
)
Government.kif 1924-1924
子類
立法組織
and
Organization
(
subclass
InternationalOrganization
Organization
)
Government.kif 2510-2510
子類
國際組織
and
Organization
(
subclass
MetallurgicalPlant
Organization
)
Geography.kif 2754-2754
子類
冶金廠
and
Organization
(
subclass
FinancialOrganization
Organization
)
FinancialOntology.kif 17-17
子類
金融機構
and
Organization
(
subclass
StockMarket
Organization
)
FinancialOntology.kif 1754-1754
子類
股市
and
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