Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChinchimneyeseTraditionalLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - Immigrating
Immigrating
(immigrating)
aliyah
,
immigrating
,
immigration
,
in-migration
,
移民
appearance as argument number 1
(
documentation
Immigrating
EnglishLanguage
"Any
Translocation
by a Human from one
Nation
to another
Nation
where the person is not a citizen for the purpose of taking up residence.")
Mid-level-ontology.kif 14909-14911
(
subclass
Immigrating
Translocation
)
Mid-level-ontology.kif 14908-14908
Immigrating
is a
subclass
of
translocation
appearance as argument number 2
(
termFormat
ChineseLanguage
Immigrating
"移民")
domainEnglishFormat.kif 29281-29281
"移民" is the
printable
form
of
immigrating
in
ChineseLanguage
(
termFormat
ChineseTraditionalLanguage
Immigrating
"移民")
domainEnglishFormat.kif 29280-29280
"移民" is the
printable
form
of
immigrating
in
ChineseTraditionalLanguage
(
termFormat
EnglishLanguage
Immigrating
"immigrating")
domainEnglishFormat.kif 29279-29279
"immigrating" is the
printable
form
of
immigrating
in
english language
antecedent
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 14913-14929
If
a process
is an
instance
of
immigrating
and
an agent
is an
agent
of
the process
,
then there exist
a geopolitical area
and
another geopolitical area
such that
the geopolitical area
is an
instance
of
nation
and
the other geopolitical area
is an
instance
of
nation
and
the process
originate
s at
the geopolitical area
and
the process
end
s up at
the other geopolitical area
and
the geopolitical area
is not
equal
to
the other geopolitical area
and
the agent
is a
member
of the
citizenry
of
the geopolitical area
and
the agent
is not a
member
of the
citizenry
of
the other geopolitical area
and
the process
purpose
the agent
live
s in
the other geopolitical area
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
instance
?A
Human
))
Mid-level-ontology.kif 14931-14935
If
a process
is an
instance
of
immigrating
and
an agent
is an
agent
of
the process
,
then
the agent
is an
instance
of
human
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
