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
ResidentFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
instance
ResidentFn
UnaryFunction
)
Mid-level-ontology.kif 8027-8027
ResidentFn
は
1変数関数
の
instance
では %n
(
range
ResidentFn
GroupOfPeople
)
Mid-level-ontology.kif 8029-8029
ResidentFn
の
range
は
GroupOfPeople
のインスタンス では %n
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
は
ResidentFn
の
subrelation
では %n
(
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
では %n
整数
は
CitizenryFn
地政学的地域
の
instances
の数 と
equal
では %n
整数
は
ResidentFn
地政学的地域
の
instances
の数 と
equal
では %n
整数
は
整数
greater
では %n
(=>
(
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
工程
は
UnconventionalWarfare
の
instance
では %n
政府
は
工程
の
agent
では %n
政府
は
AutonomousAgent
と
equal
では
政府
は
地政学的地域
の
government
と
equal
では
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
ResidentFn
地政学的地域
の
member
では %n
AutonomousAgent
は
ResidentFn
地政学的地域
の 適切な
sub
-collection では %n
工程
工程
は
コンテスト
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
の
government
は
工程
の
agent
では %n
(=>
(
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
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
は
ResidentFn
地政学的地域
の
member
では %n
Election
は
Election
の
instance
では %n
オブジェクト
は
VotingFn
Election
を
agent
として行う
capable
では
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
人[人間]
は
ResidentFn
PermanentResidence
の
member
では %n
人[人間]
の
home
は
PermanentResidence
では %n
consequent
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
地政学的地域
は
AmericanCity
の
instance
では %n
地政学的地域
は
California
の
part
では %n
地政学的地域
は
LosAngelesCalifornia
と
equal
では
ResidentFn
LosAngelesCalifornia
の
instances
の数 は
ResidentFn
地政学的地域
の
instances
の数 より
greater
では %n
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
地政学的地域
は
都市
の
instance
では %n
地政学的地域
は
France
の
part
では %n
ResidentFn
地政学的地域
の
instances
の数 は
ResidentFn
Paris
の
instances
の数 より
less
または同等 では %n
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
地政学的地域
は
AmericanState
の
instance
では %n
地政学的地域
は
California
と
equal
では
ResidentFn
California
の
instances
の数 は
ResidentFn
地政学的地域
の
instances
の数 より
greater
では %n
(=>
(
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
実数
の
測定単位
(s) and
地政学的地域
は
実数
の
測定単位
(s) と
equal
では %n
整数
整数
は
ResidentFn
地政学的地域
の
instances
の数 と
equal
では %n
実数
は
実数
+
整数
と
equal
では %n
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
地政学的地域
は
AmericanCity
の
instance
では %n
ResidentFn
地政学的地域
の
instances
の数 は
ResidentFn
NewYorkCityUnitedStates
の
instances
の数 より
less
または同等 では %n
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