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
Die Zahl 1 Argument von
ResidentFn
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8027-8027
ResidentFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8029-8029
bildbereich
von
ResidentFn
ist ein fall von
GroupOfPeople
{nicht}
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
ist eine
teilrelation
von
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
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Integer
ist gleich die Zahl
Faellen
in
CitizenryFn
** GeopoliticalArea
%n{nicht} und
** Integer
ist gleich die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
%n{nicht},
dann
** ** Integer
ist
groesserAlsOderGleich
** Integer
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
UnconventionalWarfare
%n{nicht} und
** Process
ist der
agent
von
Government
%n{nicht} und
** Government
ist gleich
AutonomousAgent
nicht und
** Government
ist gleich
GovernmentFn
GeopoliticalArea
nicht und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
ResidentFn
** GeopoliticalArea
%n{nicht} oder
** AutonomousAgent
ist eine korrekte
teilsammlung
von
ResidentFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Contest
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
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
Wenn
ExclusiveMaleSuffrage
ist eine
teilangelegenheit
von
RegionalLawFn
GeopoliticalArea
%n{nicht} und
Female
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
Mitglied
von
ResidentFn
** GeopoliticalArea
%n{nicht} und
Election
ist ein
fall
von
Election
%n{nicht},
dann
** Object
ist faehig nicht, in der Rolle
agent
VotingFn
** Election
zu tun
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
Wenn
Human
ist ein
Mitglied
von
ResidentFn
PermanentResidence
%n{nicht},
dann
home
** Human
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
Wenn
GeopoliticalArea
ist ein
fall
von
AmericanCity
%n{nicht} und
** GeopoliticalArea
ist ein
teil
von
California
%n{nicht} und
** GeopoliticalArea
ist gleich
LosAngelesCalifornia
nicht,
dann die Zahl
Faellen
in
ResidentFn
LosAngelesCalifornia
ist
groesserAls
die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
Wenn
GeopoliticalArea
ist ein
fall
von
City
%n{nicht} und
** GeopoliticalArea
ist ein
teil
von
France
%n{nicht},
dann die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
ist
kleinerAlsOderGleich
die Zahl
Faellen
in
ResidentFn
Paris
%n{nicht}
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
Wenn
GeopoliticalArea
ist ein
fall
von
AmericanState
%n{nicht} und
** GeopoliticalArea
ist gleich
California
nicht,
dann die Zahl
Faellen
in
ResidentFn
California
ist
groesserAls
die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
%n{nicht}
(=>
(
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
Wenn
PerCapitaFn
RealNumber
UnitOfMeasure
(s) and
GeopoliticalArea
ist gleich
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann es gibt
Integer
um
** Integer
ist gleich die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
%n{nicht} und
** ** RealNumber
ist gleich
** RealNumber
und
** Integer
%n{nicht}
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
Wenn
GeopoliticalArea
ist ein
fall
von
AmericanCity
%n{nicht},
dann die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
ist
kleinerAlsOderGleich
die Zahl
Faellen
in
ResidentFn
NewYorkCityUnitedStates
%n{nicht}
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