Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 6088-6096
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 2699-2708
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
2
and
a case role
is an
instance
of
case role
and
an object
is an
instance
of
object
and
a 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 6098-6106
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 13778-13778
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 1993-1993
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 8617-8617
Military front
is a
subclass
of
geographic area
(
subclass
Marketplace
GeographicArea
)
Mid-level-ontology.kif 21911-21911
Marketplace
is a
subclass
of
geographic area
(
subclass
TouristSite
GeographicArea
)
Mid-level-ontology.kif 22054-22054
Tourist site
is a
subclass
of
geographic area
(
subclass
Neighborhood
GeographicArea
)
Mid-level-ontology.kif 24027-24027
Neighborhood
is a
subclass
of
geographic area
(
subclass
LocalizablePlace
GeographicArea
)
Merge.kif 13787-13787
LocalizablePlace
is a
subclass
of
geographic area
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 13800-13800
Geopolitical area
is a
subclass
of
geographic area
(
subclass
WaterArea
GeographicArea
)
Merge.kif 13867-13867
Water area
is a
subclass
of
geographic area
(
subclass
LandArea
GeographicArea
)
Merge.kif 13900-13900
Land area
is a
subclass
of
geographic area
(
subclass
SurfaceGroundArea
GeographicArea
)
Geography.kif 569-569
Surface ground area
is a
subclass
of
geographic area
(
subclass
WaterOnlyArea
GeographicArea
)
Geography.kif 594-594
Water only area
is a
subclass
of
geographic area
(
subclass
InternationalBorder
GeographicArea
)
Geography.kif 735-735
International border
is a
subclass
of
geographic area
(
subclass
Checkpoint
GeographicArea
)
Geography.kif 740-740
Checkpoint
is a
subclass
of
geographic area
(
subclass
MaritimeClaimArea
GeographicArea
)
Geography.kif 1028-1028
Maritime claim area
is a
subclass
of
geographic area
(
subclass
GeologicalFault
GeographicArea
)
Geography.kif 2374-2374
Geological fault
is a
subclass
of
geographic area
(
subclass
Ecosystem
GeographicArea
)
Geography.kif 2661-2661
Ecosystem
is a
subclass
of
geographic area
(
subclass
Hemisphere
GeographicArea
)
Geography.kif 3384-3384
Hemisphere
is a
subclass
of
geographic area
(
subclass
LandForm
GeographicArea
)
Geography.kif 3897-3897
Land form
is a
subclass
of
geographic area
(
subclass
UndergroundArea
GeographicArea
)
Geography.kif 3910-3910
Underground area
is a
subclass
of
geographic area
(
subclass
LakeRegion
GeographicArea
)
Geography.kif 5297-5297
Lake region
is a
subclass
of
geographic area
(
subclass
LittoralZone
GeographicArea
)
Geography.kif 5665-5665
Littoral zone
is a
subclass
of
geographic area
(
subclass
ArchipelagicArea
GeographicArea
)
Geography.kif 5748-5748
Archipelagic area
is a
subclass
of
geographic area
(
subclass
Cave
GeographicArea
)
Geography.kif 5910-5910
Cave
is a
subclass
of
geographic area
(
subclass
SubmergedLandArea
GeographicArea
)
Geography.kif 5964-5964
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
