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
域
居民
, 1 and
GeopoliticalArea
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8054-8054
例
居民
and
UnaryFunction
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8056-8056
範圍
居民
and
一群人
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
子關係
公民
and
居民
(
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
例
GeopoliticalArea
and
GeopoliticalArea
等於
Integer
and
基數
GeopoliticalArea
的
citizenry
等於
Integer
and
基數
GeopoliticalArea
的
resident
大於或等於
Integer
and
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
例
Process
and
非常規戰爭
agent
Process
and
Government
等於
Government
and
AutonomousAgent
等於
Government
and
政府
GeopoliticalArea
患者
Process
and
AutonomousAgent
會員
AutonomousAgent
and
GeopoliticalArea
的
resident
子集合
AutonomousAgent
and
GeopoliticalArea
的
resident
Process
例
Process
and
Contest
agent
Process
and
AutonomousAgent
agent
Process
and
政府
GeopoliticalArea
(=>
(
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
次提案
獨家男性選舉權
and
GeopoliticalArea
的
regional
法律
attribute
Object
and
女
會員
Object
and
GeopoliticalArea
的
resident
例
選舉
and
選舉
能力
選舉
的
voting
,
agent
and
Object
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8060-8062
會員
Human
and
永久居留權
的
resident
家
Human
and
永久居留權
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
例
GeopoliticalArea
and
美國城市
部分
GeopoliticalArea
and
加州
等於
GeopoliticalArea
and
洛杉磯加利福尼亞州
比較多
基數
洛杉磯加利福尼亞州
的
resident
and
基數
GeopoliticalArea
的
resident
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
例
GeopoliticalArea
and
City
部分
GeopoliticalArea
and
法國
小於或等於
基數
GeopoliticalArea
的
resident
and
基數
巴黎
的
resident
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
例
GeopoliticalArea
and
美國國家
等於
GeopoliticalArea
and
加州
比較多
基數
加州
的
resident
and
基數
GeopoliticalArea
的
resident
(=>
(
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
等於
%2 的
per
capita
1 and
測量
RealNumber
and
UnitOfMeasure
Integer
等於
Integer
and
基數
GeopoliticalArea
的
resident
等於
RealNumber
and
部
RealNumber
and
Integer
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
例
GeopoliticalArea
and
美國城市
小於或等於
基數
GeopoliticalArea
的
resident
and
基數
紐約市美國
的
resident
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