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
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processo
e' uma
sub
-classe de
Processo
Processo
e' uma
instancia
de
Processo
eventLocated
Processo
and
Regiao
Role em Caso
e' uma
instancia
de
Role em Caso
Objeto
e' uma
instancia
de
Objeto
Regiao
e' uma
instancia
de
Area Geografica
Role em Caso
Processo
and
Objeto
capableAtLocation
Processo
,
Role em Caso
,
Objeto
and
Regiao
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(
subclass
GeographicArea
Region
)
Merge.kif 14031-14031
Area Geografica
e' uma
sub
-classe de
Regiao
(
subclass
ParkingLot
GeographicArea
)
TransportDetail.kif 73-73
ParkingLot
e' uma
sub
-classe de
Area Geografica
(
subclass
BusStop
GeographicArea
)
Transportation.kif 1985-1985
BusStop
e' uma
sub
-classe de
Area Geografica
(
subclass
IllicitDrugMoneyLaunderingArea
GeographicArea
)
TransnationalIssues.kif 79-79
IllicitDrugMoneyLaunderingArea
e' uma
sub
-classe de
Area Geografica
(
subclass
MilitaryFront
GeographicArea
)
Mid-level-ontology.kif 9014-9014
MilitaryFront
e' uma
sub
-classe de
Area Geografica
(
subclass
Marketplace
GeographicArea
)
Mid-level-ontology.kif 22435-22435
Marketplace
e' uma
sub
-classe de
Area Geografica
(
subclass
TouristSite
GeographicArea
)
Mid-level-ontology.kif 22612-22612
TouristSite
e' uma
sub
-classe de
Area Geografica
(
subclass
Neighborhood
GeographicArea
)
Mid-level-ontology.kif 24657-24657
Neighborhood
e' uma
sub
-classe de
Area Geografica
(
subclass
LocalizablePlace
GeographicArea
)
Merge.kif 14040-14040
LocalizablePlace
e' uma
sub
-classe de
Area Geografica
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 14053-14053
Area Geopolitica
e' uma
sub
-classe de
Area Geografica
(
subclass
WaterArea
GeographicArea
)
Merge.kif 14120-14120
Area Aquatica
e' uma
sub
-classe de
Area Geografica
(
subclass
LandArea
GeographicArea
)
Merge.kif 14153-14153
Area terrestre
e' uma
sub
-classe de
Area Geografica
(
subclass
SurfaceGroundArea
GeographicArea
)
Geography.kif 562-562
SurfaceGroundArea
e' uma
sub
-classe de
Area Geografica
(
subclass
WaterOnlyArea
GeographicArea
)
Geography.kif 587-587
WaterOnlyArea
e' uma
sub
-classe de
Area Geografica
(
subclass
InternationalBorder
GeographicArea
)
Geography.kif 728-728
InternationalBorder
e' uma
sub
-classe de
Area Geografica
(
subclass
Checkpoint
GeographicArea
)
Geography.kif 733-733
Checkpoint
e' uma
sub
-classe de
Area Geografica
(
subclass
MaritimeClaimArea
GeographicArea
)
Geography.kif 1021-1021
MaritimeClaimArea
e' uma
sub
-classe de
Area Geografica
(
subclass
GeologicalFault
GeographicArea
)
Geography.kif 2371-2371
GeologicalFault
e' uma
sub
-classe de
Area Geografica
(
subclass
Ecosystem
GeographicArea
)
Geography.kif 2658-2658
Ecosystem
e' uma
sub
-classe de
Area Geografica
(
subclass
Hemisphere
GeographicArea
)
Geography.kif 3462-3462
Hemisphere
e' uma
sub
-classe de
Area Geografica
(
subclass
LandForm
GeographicArea
)
Geography.kif 3975-3975
LandForm
e' uma
sub
-classe de
Area Geografica
(
subclass
UndergroundArea
GeographicArea
)
Geography.kif 3988-3988
UndergroundArea
e' uma
sub
-classe de
Area Geografica
(
subclass
LakeRegion
GeographicArea
)
Geography.kif 5399-5399
LakeRegion
e' uma
sub
-classe de
Area Geografica
(
subclass
LittoralZone
GeographicArea
)
Geography.kif 5768-5768
LittoralZone
e' uma
sub
-classe de
Area Geografica
(
subclass
ArchipelagicArea
GeographicArea
)
Geography.kif 5851-5851
ArchipelagicArea
e' uma
sub
-classe de
Area Geografica
(
subclass
Cave
GeographicArea
)
Geography.kif 6013-6013
Cave
e' uma
sub
-classe de
Area Geografica
(
subclass
SubmergedLandArea
GeographicArea
)
Geography.kif 6067-6067
SubmergedLandArea
e' uma
sub
-classe de
Area Geografica
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