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
Le nombre 1 argument de
ResidentFn
est une
instance
de
secteur g�opolitique
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8027-8027
ResidentFn
est une
instance
de
function unaire
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8029-8029
Le
domaine
de
ResidentFn
est une instance 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 8037-8037
CitizenryFn
est une
sous
-relation de
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 8045-8052
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
nombre entier
est
instances
dans
CitizenryFn
secteur g�opolitique
nombre entier
est
instances
dans
ResidentFn
secteur g�opolitique
nombre entier
est
plus
grand
ou �gal �
nombre entier
(=>
(
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
Processus
est une
instance
de
UnconventionalWarfare
processus
est un
agent
de
gouvernement
gouvernement
est
AutonomousAgent
gouvernement
est
gouvernment
de
secteur g�opolitique
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
membre
de
ResidentFn
secteur g�opolitique
AutonomousAgent
est une
sous
-collection appartenant �
ResidentFn
secteur g�opolitique
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de le
gouvernment
de
secteur g�opolitique
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
Female
est un
attribut
de
objet
objet
est un
membre
de
ResidentFn
secteur g�opolitique
Election
est une
instance
de
Election
objet
est
capable
de faire
VotingFn
Election
dans le r�le
agent
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
Humain
est un
membre
de
ResidentFn
PermanentResidence
le
domicile
de
humain
est
PermanentResidence
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
Secteur g�opolitique
est une
instance
de
AmericanCity
secteur g�opolitique
est une
partie
de
California
secteur g�opolitique
est
LosAngelesCalifornia
le nombre d'
instances
dans
ResidentFn
LosAngelesCalifornia
est
plus
grand
que le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
Secteur g�opolitique
est une
instance
de
ville
secteur g�opolitique
est une
partie
de
France
le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
est plus
petit
ou �gal � le nombre d'
instances
dans
ResidentFn
Paris
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
Secteur g�opolitique
est une
instance
de
AmericanState
secteur g�opolitique
est
California
le nombre d'
instances
dans
ResidentFn
California
est
plus
grand
que le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
(=>
(
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
PerCapitaFn
nombre r�el
unit� de mesure
(s) and
secteur g�opolitique
est
nombre r�el
unit� de mesure
(s)
nombre entier
nombre entier
est
instances
dans
ResidentFn
secteur g�opolitique
nombre r�el
est
nombre r�el
+
nombre entier
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
Secteur g�opolitique
est une
instance
de
AmericanCity
le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
est plus
petit
ou �gal � le nombre d'
instances
dans
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