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
secteur g�ographique
and
plante
plante
est une
sous
-classe de
plante
secteur g�ographique
est une
instance
de
secteur g�ographique
physique
physique
est une
instance
de
plante
physique
est
situ
� �
secteur g�ographique
(=>
(
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
Processus
est une
sous
-classe de
processus
processus
est une
instance
de
processus
eventLocated
processus
and
r�gion
r�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
objet
est une
instance
de
objet
r�gion
est une
instance
de
secteur g�ographique
r�le d�pendant du cas
processus
and
objet
capableAtLocation
processus
,
r�le d�pendant du cas
,
objet
and
r�gion
(=>
(
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
secteur g�ographique
and
plante
plante
est une
sous
-classe de
plante
secteur g�ographique
est une
instance
de
secteur g�ographique
physique
physique
est une
instance
de
plante
physique
est
situ
� �
secteur g�ographique
(
subclass
GeographicArea
Region
)
Merge.kif 14031-14031
Secteur g�ographique
est une
sous
-classe de
r�gion
(
subclass
ParkingLot
GeographicArea
)
TransportDetail.kif 73-73
ParkingLot
est une
sous
-classe de
secteur g�ographique
(
subclass
BusStop
GeographicArea
)
Transportation.kif 1985-1985
BusStop
est une
sous
-classe de
secteur g�ographique
(
subclass
IllicitDrugMoneyLaunderingArea
GeographicArea
)
TransnationalIssues.kif 79-79
IllicitDrugMoneyLaunderingArea
est une
sous
-classe de
secteur g�ographique
(
subclass
MilitaryFront
GeographicArea
)
Mid-level-ontology.kif 9014-9014
MilitaryFront
est une
sous
-classe de
secteur g�ographique
(
subclass
Marketplace
GeographicArea
)
Mid-level-ontology.kif 22435-22435
Marketplace
est une
sous
-classe de
secteur g�ographique
(
subclass
TouristSite
GeographicArea
)
Mid-level-ontology.kif 22612-22612
TouristSite
est une
sous
-classe de
secteur g�ographique
(
subclass
Neighborhood
GeographicArea
)
Mid-level-ontology.kif 24657-24657
Neighborhood
est une
sous
-classe de
secteur g�ographique
(
subclass
LocalizablePlace
GeographicArea
)
Merge.kif 14040-14040
LocalizablePlace
est une
sous
-classe de
secteur g�ographique
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 14053-14053
Secteur g�opolitique
est une
sous
-classe de
secteur g�ographique
(
subclass
WaterArea
GeographicArea
)
Merge.kif 14120-14120
Plan d'eau
est une
sous
-classe de
secteur g�ographique
(
subclass
LandArea
GeographicArea
)
Merge.kif 14153-14153
Zone de terre
est une
sous
-classe de
secteur g�ographique
(
subclass
SurfaceGroundArea
GeographicArea
)
Geography.kif 562-562
SurfaceGroundArea
est une
sous
-classe de
secteur g�ographique
(
subclass
WaterOnlyArea
GeographicArea
)
Geography.kif 587-587
WaterOnlyArea
est une
sous
-classe de
secteur g�ographique
(
subclass
InternationalBorder
GeographicArea
)
Geography.kif 728-728
InternationalBorder
est une
sous
-classe de
secteur g�ographique
(
subclass
Checkpoint
GeographicArea
)
Geography.kif 733-733
Checkpoint
est une
sous
-classe de
secteur g�ographique
(
subclass
MaritimeClaimArea
GeographicArea
)
Geography.kif 1021-1021
MaritimeClaimArea
est une
sous
-classe de
secteur g�ographique
(
subclass
GeologicalFault
GeographicArea
)
Geography.kif 2371-2371
GeologicalFault
est une
sous
-classe de
secteur g�ographique
(
subclass
Ecosystem
GeographicArea
)
Geography.kif 2658-2658
Ecosystem
est une
sous
-classe de
secteur g�ographique
(
subclass
Hemisphere
GeographicArea
)
Geography.kif 3462-3462
Hemisphere
est une
sous
-classe de
secteur g�ographique
(
subclass
LandForm
GeographicArea
)
Geography.kif 3975-3975
LandForm
est une
sous
-classe de
secteur g�ographique
(
subclass
UndergroundArea
GeographicArea
)
Geography.kif 3988-3988
UndergroundArea
est une
sous
-classe de
secteur g�ographique
(
subclass
LakeRegion
GeographicArea
)
Geography.kif 5399-5399
LakeRegion
est une
sous
-classe de
secteur g�ographique
(
subclass
LittoralZone
GeographicArea
)
Geography.kif 5768-5768
LittoralZone
est une
sous
-classe de
secteur g�ographique
(
subclass
ArchipelagicArea
GeographicArea
)
Geography.kif 5851-5851
ArchipelagicArea
est une
sous
-classe de
secteur g�ographique
(
subclass
Cave
GeographicArea
)
Geography.kif 6013-6013
Cave
est une
sous
-classe de
secteur g�ographique
(
subclass
SubmergedLandArea
GeographicArea
)
Geography.kif 6067-6067
SubmergedLandArea
est une
sous
-classe de
secteur g�ographique
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