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
居民
的 1 数量 是
地缘政治区域
的
instance
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8027-8027
居民
是
一元函数
的
instance
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8029-8029
居民
的
range
是
一群人
的实例
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
公民
是
居民
的
subrelation
(
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
如果
地缘政治区域
是
地缘政治区域
的
instance
和
整数
equal
那个 地缘政治区域
的
citizenry
instance
的数量 和
另一个 整数
equal
那个 地缘政治区域
的
resident
instance
的数量,
然后
那个 另外 整数
是
greaterThanOrEqualTo
那个 整数
(=>
(
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
如果
过程
是
非常规战争
的
instance
和
政府
是
那个 过程
的
agent
和
那个 政府
不
equal
施事体
和
那个 政府
不
equal
地缘政治区域
的
Government
和
那个 施事体
是
那个 过程
的
patient
和
那个 施事体
是
那个 地缘政治区域
的
resident
的
member
或
那个 施事体
是
那个 地缘政治区域
的
resident
的 真正的子集,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
比赛
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 地缘政治区域
的
Government
是
那个 另外 过程
的
agent
(=>
(
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
如果
独家男性选举权
是
地缘政治区域
的
regional
法律 的
subProposition
和
女
是
客体
的
attribute
和
那个 客体
是
那个 地缘政治区域
的
resident
的
member
和
选举
是
选举
的
instance
,
然后
那个 客体
不 能够担当
主事
的角色做
那个 选举
的
voting
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
如果
人类
是
永久居留权
的
resident
的
member
,
然后
那个 人类
的
home
是
那个 永久居留权
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
如果
地缘政治区域
是
美国城市
的
instance
和
那个 地缘政治区域
是
加州
的
part
和
那个 地缘政治区域
不
equal
洛杉矶加利福尼亚州
,
然后
洛杉矶加利福尼亚州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
如果
地缘政治区域
是
城市
的
instance
和
那个 地缘政治区域
是
法国
的
part
,
然后
那个 地缘政治区域
的
resident
instance
的数量 是
lessThanOrEqualTo
巴黎
的
resident
instance
的数量
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
如果
地缘政治区域
是
美国国家
的
instance
和
那个 地缘政治区域
不
equal
加州
,
然后
加州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
(=>
(
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
如果
实数
测量单位
的
per
capita
1
equal
那个 实数
那个 测量单位
,
然后 有存在
整数
这样
那个 整数
equal
地缘政治区域
的
resident
instance
的数量 和
那个 实数
equal
另一个 实数
和
那个 整数
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
如果
地缘政治区域
是
美国城市
的
instance
,
然后
那个 地缘政治区域
的
resident
instance
的数量 是
lessThanOrEqualTo
纽约市美国
的
resident
instance
的数量
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