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 8029-8030
(
domain
ResidentFn
1
GeopoliticalArea
)
Mid-level-ontology.kif 8027-8027
Il numero 1 argomenti di
ResidentFn
è un
istanza
di
AreaGeopolitica
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8026-8026
ResidentFn
è un'
istanza
di
FunzioneUnaria
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8028-8028
rango
di
ResidentFn
è un'istanza di
GroupOfPeople
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 8036-8036
CitizenryFn
è una
sottorelazione
di
ResidentFn
(
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 8044-8051
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
NumeroIntero
is
uguale
a il numero di
istanzia
in
CitizenryFn
AreaGeopolitica
NumeroIntero
is
uguale
a il numero di
istanzia
in
ResidentFn
AreaGeopolitica
NumeroIntero
è
pi
ù grande di o uguale a
NumeroIntero
(=>
(
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
Processo
è un'
istanza
di
UnconventionalWarfare
Processo
è un
agente
di
Governo
Governo
is
uguale
a
AutonomousAgent
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
ResidentFn
AreaGeopolitica
AutonomousAgent
è
sottoinsieme
un proprio
ResidentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Competizione
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
GovernmentFn
AreaGeopolitica
(=>
(
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
ExclusiveMaleSuffrage
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
attribute
Oggetto
and
Female
Oggetto
è un
membro
di
ResidentFn
AreaGeopolitica
Election
è un'
istanza
di
Election
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8032-8034
Umano
è un
membro
di
ResidentFn
PermanentResidence
home
Umano
and
PermanentResidence
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
AreaGeopolitica
è un'
istanza
di
AmericanCity
AreaGeopolitica
è una
parte
di
California
AreaGeopolitica
is
uguale
a
LosAngelesCalifornia
il numero di
istanzia
in
ResidentFn
LosAngelesCalifornia
è
pi
ù grande di il numero di
istanzia
in
ResidentFn
AreaGeopolitica
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
AreaGeopolitica
è un'
istanza
di
Citt�
AreaGeopolitica
è una
parte
di
France
il numero di
istanzia
in
ResidentFn
AreaGeopolitica
è
minore
o uguale a il numero di
istanzia
in
ResidentFn
Paris
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
AreaGeopolitica
è un'
istanza
di
AmericanState
AreaGeopolitica
is
uguale
a
California
il numero di
istanzia
in
ResidentFn
California
è
pi
ù grande di il numero di
istanzia
in
ResidentFn
AreaGeopolitica
(=>
(
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 8061-8074
PerCapitaFn
NumeroReale
Unit�DiMisura
(s and
AreaGeopolitica
is
uguale
a
NumeroReale
Unit�DiMisura
(s
NumeroIntero
NumeroIntero
is
uguale
a il numero di
istanzia
in
ResidentFn
AreaGeopolitica
NumeroReale
is
uguale
a
NumeroReale
+
NumeroIntero
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
AreaGeopolitica
è un'
istanza
di
AmericanCity
il numero di
istanzia
in
ResidentFn
AreaGeopolitica
è
minore
o uguale a il numero di
istanzia
in
ResidentFn
NewYorkCityUnitedStates
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