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
If
an agent
is an
instance
of
agent
and the
election
of
the agent
is a
subclass
of
election
,
then
the agent
is an
instance
of
organization
or
the agent
is an
instance
of
geopolitical area
(=>
(
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
If
duty free
is an
attribute
of
an object
and
the object
is an
instance
of
store
,
then there exist
a geopolitical area
,
an entity
,, ,
another kind of object
and
a process
such that
the geopolitical area
is an
instance
of
geopolitical area
and
the object
is
located
at
the geopolitical area
and
another kind of object
is a
subclass
of
object
and
the other kind of object
is an
import
commodity type of
the geopolitical area
and
the entity
is an
instance
of
the other kind of object
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
and
the process
is
located
at
the object
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 16905-16909
If
a relation
is an
instance
of
economic relation
and the number 1 argument of
the relation
is an
instance
of
a class
,
then
the class
is a
subclass
of
geopolitical area
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
If
a geopolitical area
is an
instance
of all the
instances
of
a kind of geographic area
in
another geopolitical area
and
a kind of geographic area
is a
subclass
of
geopolitical area
and
the other geopolitical area
is an
instance
of
geopolitical area
,
then
the geopolitical area
is a
geopolitical
part of
the other geopolitical area
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 14053-14053
Geopolitical area
is a
subclass
of
geographic area
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
Geopolitical area
is a
subclass
of
agent
(
subclass
PortFacility
GeopoliticalArea
)
Transportation.kif 938-938
Port facility
is a
subclass
of
geopolitical area
(
subclass
IndependentState
GeopoliticalArea
)
Mid-level-ontology.kif 8009-8009
Independent state
is a
subclass
of
geopolitical area
(
subclass
DependencyOrSpecialSovereigntyArea
GeopoliticalArea
)
Mid-level-ontology.kif 8017-8017
Dependency or special sovereignty area
is a
subclass
of
geopolitical area
(
subclass
CityDistrict
GeopoliticalArea
)
Mid-level-ontology.kif 8077-8077
City district
is a
subclass
of
geopolitical area
(
subclass
Nation
GeopoliticalArea
)
Merge.kif 14223-14223
Nation
is a
subclass
of
geopolitical area
(
subclass
StateOrProvince
GeopoliticalArea
)
Merge.kif 14230-14230
State or province
is a
subclass
of
geopolitical area
(
subclass
City
GeopoliticalArea
)
Merge.kif 14244-14244
City
is a
subclass
of
geopolitical area
(
subclass
County
GeopoliticalArea
)
Merge.kif 14251-14251
County
is a
subclass
of
geopolitical area
(
subclass
OverseasArea
GeopoliticalArea
)
Government.kif 487-487
Overseas area
is a
subclass
of
geopolitical area
(
subclass
ParliamentaryTerritory
GeopoliticalArea
)
Government.kif 525-525
Parliamentary territory
is a
subclass
of
geopolitical area
(
subclass
SelfGoverningTerritory
GeopoliticalArea
)
Government.kif 531-531
Self governing territory
is a
subclass
of
geopolitical 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