Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ResidentFn
Sigma KEE - ResidentFn
ResidentFn
appearance as argument number 1
(
documentation
ResidentFn
EnglishLanguage
"(
ResidentFn
?AREA) denotes the
GroupOfPeople
who have their
home
in ?AREA.")
Mid-level-ontology.kif 8030-8031
(
domain
ResidentFn
1
GeopoliticalArea
)
Mid-level-ontology.kif 8028-8028
The number 1 argument of
resident
is an
instance
of
geopolitical area
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8027-8027
Resident
is an
instance
of
unary function
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8029-8029
The
range
of
resident
is an instance of
group of people
appearance as argument number 2
(
format
ChineseLanguage
ResidentFn
"%1 的 resident ")
domainEnglishFormat.kif 2151-2151
(
format
ChineseTraditionalLanguage
ResidentFn
"%1 的 resident ")
domainEnglishFormat.kif 2150-2150
(
format
EnglishLanguage
ResidentFn
"the resident of %1")
domainEnglishFormat.kif 2149-2149
(
subrelation
CitizenryFn
ResidentFn
)
Mid-level-ontology.kif 8037-8037
Citizenry
is a
subrelation
of
resident
(
termFormat
ChineseLanguage
ResidentFn
"居民")
domainEnglishFormat.kif 49628-49628
(
termFormat
ChineseTraditionalLanguage
ResidentFn
"居民")
domainEnglishFormat.kif 49627-49627
(
termFormat
EnglishLanguage
ResidentFn
"resident")
domainEnglishFormat.kif 49626-49626
antecedent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8045-8052
If
a geopolitical area
is an
instance
of
geopolitical area
and
an integer
is
equal
to the number of
instances
in the
citizenry
of
the geopolitical area
and
another integer
is
equal
to the number of
instances
in the
resident
of
the geopolitical area
,
then
the other integer
is
greater
than or equal to
the integer
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
If
a process
is an
instance
of
unconventional warfare
and
a government
is an
agent
of
the process
and
the government
is not
equal
to
an agent
and
the government
is not
equal
to the
government
of
a geopolitical area
and
the agent
is a
patient
of
the process
and
the agent
is a
member
of the
resident
of
the geopolitical area
or
the agent
is a proper
sub
-collection of the
resident
of
the geopolitical area
,
then there exists
another process
such that
the other process
is an
instance
of
contest
and
the agent
is an
agent
of
the other process
and the
government
of
the geopolitical area
is an
agent
of
the other process
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
If
exclusive male suffrage
is a
sub
-proposition of the
regional
law of
a geopolitical area
and
female
is an
attribute
of
an object
and
the object
is a
member
of the
resident
of
the geopolitical area
and
an election
is an
instance
of
election
,
then
the object
is not
capable
of doing the
voting
of
the election
as a
agent
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
If
a human
is a
member
of the
resident
of
a permanent residence
,
then the
home
of
the human
is
the permanent residence
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
If
a geopolitical area
is an
instance
of
american city
and
the geopolitical area
is a
part
of
california
and
the geopolitical area
is not
equal
to
los angeles california
,
then the number of
instances
in the
resident
of
los angeles california
is
greater
than the number of
instances
in the
resident
of
the geopolitical area
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
If
a geopolitical area
is an
instance
of
city
and
the geopolitical area
is a
part
of
france
,
then the number of
instances
in the
resident
of
the geopolitical area
is
less
than or equal to the number of
instances
in the
resident
of
paris
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
If
a geopolitical area
is an
instance
of
american state
and
the geopolitical area
is not
equal
to
california
,
then the number of
instances
in the
resident
of
california
is
greater
than the number of
instances
in the
resident
of
the geopolitical area
(=>
(
equal
(
PerCapitaFn
(
MeasureFn
?QUANTITY1 ?U) ?AREA)
(
MeasureFn
?QUANTITY2 ?U))
(
exists
(?POPULATION)
(
and
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA)))
(
equal
?QUANTITY2
(
DivisionFn
?QUANTITY1 ?POPULATION)))))
Mid-level-ontology.kif 8062-8075
If the
per
capita
1 of
a real number
an unit of measure
(s) is
equal
to
the real number
the unit of measure
(s),
then there exists
an integer
such that
the integer
is
equal
to the number of
instances
in the
resident
of
a geopolitical area
and
the real number
is
equal
to
another real number
and
the integer
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
If
a geopolitical area
is an
instance
of
american city
,
then the number of
instances
in the
resident
of
the geopolitical area
is
less
than or equal to the number of
instances
in the
resident
of
new york city united states
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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