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
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
ElectionFn
AutonomousAgent
e' uma
sub
-classe de
Election
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
DutyFree
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Store
Area Geopolitica
Entidade
,
Objeto
and
Processo
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Objeto
e'
situado
em
Area Geopolitica
Objeto
e' uma
sub
-classe de
Objeto
importCommodityType
Area Geopolitica
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Processo
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Processo
Processo
e'
situado
em
Objeto
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 16905-16909
Relacao
e' uma
instancia
de
EconomicRelation
o argumento numero 1 de
Relacao
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Area Geopolitica
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
Area Geopolitica
e' uma
instancia
de
GeographicPartTypeFn
Area Geografica
and
Area Geopolitica
Area Geografica
e' uma
sub
-classe de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
sub-divisao geopolitica
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 14053-14053
Area Geopolitica
e' uma
sub
-classe de
Area Geografica
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
Area Geopolitica
e' uma
sub
-classe de
AutonomousAgent
(
subclass
PortFacility
GeopoliticalArea
)
Transportation.kif 938-938
PortFacility
e' uma
sub
-classe de
Area Geopolitica
(
subclass
IndependentState
GeopoliticalArea
)
Mid-level-ontology.kif 8009-8009
IndependentState
e' uma
sub
-classe de
Area Geopolitica
(
subclass
DependencyOrSpecialSovereigntyArea
GeopoliticalArea
)
Mid-level-ontology.kif 8017-8017
DependencyOrSpecialSovereigntyArea
e' uma
sub
-classe de
Area Geopolitica
(
subclass
CityDistrict
GeopoliticalArea
)
Mid-level-ontology.kif 8077-8077
CityDistrict
e' uma
sub
-classe de
Area Geopolitica
(
subclass
Nation
GeopoliticalArea
)
Merge.kif 14223-14223
Nacao
e' uma
sub
-classe de
Area Geopolitica
(
subclass
StateOrProvince
GeopoliticalArea
)
Merge.kif 14230-14230
Estado ou Provincia
e' uma
sub
-classe de
Area Geopolitica
(
subclass
City
GeopoliticalArea
)
Merge.kif 14244-14244
Cidade
e' uma
sub
-classe de
Area Geopolitica
(
subclass
County
GeopoliticalArea
)
Merge.kif 14251-14251
County
e' uma
sub
-classe de
Area Geopolitica
(
subclass
OverseasArea
GeopoliticalArea
)
Government.kif 487-487
OverseasArea
e' uma
sub
-classe de
Area Geopolitica
(
subclass
ParliamentaryTerritory
GeopoliticalArea
)
Government.kif 525-525
ParliamentaryTerritory
e' uma
sub
-classe de
Area Geopolitica
(
subclass
SelfGoverningTerritory
GeopoliticalArea
)
Government.kif 531-531
SelfGoverningTerritory
e' uma
sub
-classe de
Area Geopolitica
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
