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 8057-8058
(
domain
ResidentFn
1
GeopoliticalArea
)
Mid-level-ontology.kif 8055-8055
O argumento numero 1 de
ResidentFn
e' uma
instancia
de
Area Geopolitica
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8054-8054
ResidentFn
e' uma
instancia
de
funcao Unaria
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8056-8056
O
contra
-dominio de
ResidentFn
e' uma instancia de
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 8064-8064
CitizenryFn
e' uma
sub
-relacao de
ResidentFn
(
termFormat
ChineseLanguage
ResidentFn
"居民")
domainEnglishFormat.kif 49630-49630
(
termFormat
ChineseTraditionalLanguage
ResidentFn
"居民")
domainEnglishFormat.kif 49629-49629
(
termFormat
EnglishLanguage
ResidentFn
"resident")
domainEnglishFormat.kif 49628-49628
antecedent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8072-8079
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de
CitizenryFn
Area Geopolitica
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
Numero Inteiro
e'
maior
ou igual a
Numero Inteiro
(=>
(
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
e' uma
instancia
de
UnconventionalWarfare
Processo
e' um
agente
de
Governo
Governo
e'
igual
a
AutonomousAgent
Governo
e'
igual
a o
governo
de
Area Geopolitica
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
ResidentFn
Area Geopolitica
AutonomousAgent
e' uma
sub
-colecao de
ResidentFn
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Contest
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de o
governo
de
Area Geopolitica
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1231-1237
ExclusiveMaleSuffrage
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
Female
e' um
atributo
de
Objeto
Objeto
e'
membro
de
ResidentFn
Area Geopolitica
Election
e' uma
instancia
de
Election
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8060-8062
Humano
e'
membro
de
ResidentFn
PermanentResidence
a
casa
de
Humano
e'
PermanentResidence
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
Area Geopolitica
e' uma
instancia
de
AmericanCity
Area Geopolitica
e' uma &parte de
California
Area Geopolitica
e'
igual
a
LosAngelesCalifornia
o numero de
instancias
dentro de
ResidentFn
LosAngelesCalifornia
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
Area Geopolitica
e' uma
instancia
de
Cidade
Area Geopolitica
e' uma &parte de
France
o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
e'
menor
ou igual a o numero de
instancias
dentro de
ResidentFn
Paris
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
Area Geopolitica
e' uma
instancia
de
AmericanState
Area Geopolitica
e'
igual
a
California
o numero de
instancias
dentro de
ResidentFn
California
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
(=>
(
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 8089-8102
PerCapitaFn
Numero Real
Unidade de Medida
(s) and
Area Geopolitica
e'
igual
a
Numero Real
Unidade de Medida
(s)
Numero Inteiro
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
Numero Real
e'
igual
a
Numero Real
+
Numero Inteiro
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
Area Geopolitica
e' uma
instancia
de
AmericanCity
o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
e'
menor
ou igual a o numero de
instancias
dentro de
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
