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
If
a kind of plant
is
found
in
a geographic area
and
a kind of plant
is a
subclass
of
plant
and
the geographic area
is an
instance
of
geographic area
,
then there exists
a physical
such that
the physical
is an
instance
of
the kind of plant
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a kind of process
is a
subclass
of
process
and
another process
is an
instance
of
a kind of process
and
the other process
is
located
at
a region
and
a case role
is an
instance
of
case role
and
an object
is an
instance
of
object
and
the region
is an
instance
of
geographic area
and
the case role
the other process
and
the object
,
then
the kind of process
capable
at location
the case role
for
the object
with
the region
(=>
(
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
If not
a kind of plant
is
found
in
a geographic area
and
a kind of plant
is a
subclass
of
plant
and
the geographic area
is an
instance
of
geographic area
,
then there doesn't exist
a physical
such that
the physical
is an
instance
of
the kind of plant
and
the physical
is
located
at
the geographic area
(
subclass
GeographicArea
Region
)
Merge.kif 14031-14031
Geographic area
is a
subclass
of
region
(
subclass
ParkingLot
GeographicArea
)
TransportDetail.kif 73-73
Parking lot
is a
subclass
of
geographic area
(
subclass
BusStop
GeographicArea
)
Transportation.kif 1985-1985
Bus stop
is a
subclass
of
geographic area
(
subclass
IllicitDrugMoneyLaunderingArea
GeographicArea
)
TransnationalIssues.kif 79-79
Illicit drug money laundering area
is a
subclass
of
geographic area
(
subclass
MilitaryFront
GeographicArea
)
Mid-level-ontology.kif 9014-9014
Military front
is a
subclass
of
geographic area
(
subclass
Marketplace
GeographicArea
)
Mid-level-ontology.kif 22435-22435
Marketplace
is a
subclass
of
geographic area
(
subclass
TouristSite
GeographicArea
)
Mid-level-ontology.kif 22612-22612
Tourist site
is a
subclass
of
geographic area
(
subclass
Neighborhood
GeographicArea
)
Mid-level-ontology.kif 24657-24657
Neighborhood
is a
subclass
of
geographic area
(
subclass
LocalizablePlace
GeographicArea
)
Merge.kif 14040-14040
Localizable place
is a
subclass
of
geographic area
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 14053-14053
Geopolitical area
is a
subclass
of
geographic area
(
subclass
WaterArea
GeographicArea
)
Merge.kif 14120-14120
Water area
is a
subclass
of
geographic area
(
subclass
LandArea
GeographicArea
)
Merge.kif 14153-14153
Land area
is a
subclass
of
geographic area
(
subclass
SurfaceGroundArea
GeographicArea
)
Geography.kif 562-562
Surface ground area
is a
subclass
of
geographic area
(
subclass
WaterOnlyArea
GeographicArea
)
Geography.kif 587-587
Water only area
is a
subclass
of
geographic area
(
subclass
InternationalBorder
GeographicArea
)
Geography.kif 728-728
International border
is a
subclass
of
geographic area
(
subclass
Checkpoint
GeographicArea
)
Geography.kif 733-733
Checkpoint
is a
subclass
of
geographic area
(
subclass
MaritimeClaimArea
GeographicArea
)
Geography.kif 1021-1021
Maritime claim area
is a
subclass
of
geographic area
(
subclass
GeologicalFault
GeographicArea
)
Geography.kif 2371-2371
Geological fault
is a
subclass
of
geographic area
(
subclass
Ecosystem
GeographicArea
)
Geography.kif 2658-2658
Ecosystem
is a
subclass
of
geographic area
(
subclass
Hemisphere
GeographicArea
)
Geography.kif 3462-3462
Hemisphere
is a
subclass
of
geographic area
(
subclass
LandForm
GeographicArea
)
Geography.kif 3975-3975
Land form
is a
subclass
of
geographic area
(
subclass
UndergroundArea
GeographicArea
)
Geography.kif 3988-3988
Underground area
is a
subclass
of
geographic area
(
subclass
LakeRegion
GeographicArea
)
Geography.kif 5399-5399
Lake region
is a
subclass
of
geographic area
(
subclass
LittoralZone
GeographicArea
)
Geography.kif 5768-5768
Littoral zone
is a
subclass
of
geographic area
(
subclass
ArchipelagicArea
GeographicArea
)
Geography.kif 5851-5851
Archipelagic area
is a
subclass
of
geographic area
(
subclass
Cave
GeographicArea
)
Geography.kif 6013-6013
Cave
is a
subclass
of
geographic area
(
subclass
SubmergedLandArea
GeographicArea
)
Geography.kif 6067-6067
Submerged land area
is a
subclass
of
geographic area
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