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
GovernmentFn
Sigma KEE - GovernmentFn
GovernmentFn
appearance as argument number 1
(
documentation
GovernmentFn
ChineseLanguage
"(
GovernmentFn
?AREA)表示
GeopoliticalArea
?AREA 的
Government
。例如:(
GovernmentFn
UnitedStates
)表示美国的联邦政府, (
GovernmentFn
PuertoRico
)表示波多黎各联邦的政府。")
chinese_format.kif 3739-3741
(
documentation
GovernmentFn
EnglishLanguage
"(
GovernmentFn
?AREA) denotes the
Government
of the
GeopoliticalArea
?AREA. For example, (
GovernmentFn
UnitedStates
) denotes the Federal-level government of the United States, (
GovernmentFn
PuertoRico
) denotes the government of the Commonwealth of Puerto Rico.")
Merge.kif 16714-16718
(
domain
GovernmentFn
1
GeopoliticalArea
)
Merge.kif 16712-16712
政府函数
的 1 数量 是
地缘政治区域
的
instance
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16711-16711
政府函数
是
部分值关系
的
instance
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16710-16710
政府函数
是
一元函数
的
instance
(
range
GovernmentFn
Government
)
Merge.kif 16713-16713
政府函数
的
range
是
政府
的实例
appearance as argument number 2
(
format
ChineseLanguage
GovernmentFn
"%1 的
Government
")
chinese_format.kif 802-802
(
format
EnglishLanguage
GovernmentFn
"the government of %1")
english_format.kif 811-811
(
format
FrenchLanguage
GovernmentFn
"le gouvernment de %1")
french_format.kif 482-482
(
format
JapaneseLanguage
GovernmentFn
"%1 の government")
english_format.kif 812-812
(
format
PortugueseLanguage
GovernmentFn
"o governo de %1")
portuguese_format.kif 434-434
(
format
ro
GovernmentFn
"government%t{guvernul} lui %1")
relations-ro.kif 504-504
(
termFormat
ChineseLanguage
GovernmentFn
"政府")
domainEnglishFormat.kif 26298-26298
(
termFormat
ChineseLanguage
GovernmentFn
"政府函数")
chinese_format.kif 803-803
(
termFormat
ChineseTraditionalLanguage
GovernmentFn
"政府")
domainEnglishFormat.kif 26297-26297
(
termFormat
EnglishLanguage
GovernmentFn
"government")
domainEnglishFormat.kif 26296-26296
antecedent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
如果
政体
是
地缘政治区域
的
Government
的
attribute
和
那个 政体
是
政体
的
instance
,
然后 %2 是 1% 的
government
类别
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1977-1985
如果
一院制立法机关
是
机构
的
attribute
和
地缘政治区域
是
那个 机构
的
legislative
分支 和
另一个 机构
是
立法院
的
instance
和
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
第三 机构
是
立法院
的
instance
和
那个 第三 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分,
然后
那个 另外 机构
equal
那个 第三 机构
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4511-4519
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
和
机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 施事体
是
agent
运作在
那个 机构
地区
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
Government
是
国家政府
的
instance
,
然后
那个 地缘政治区域
是
国家
的
instance
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
是
那个 地缘政治区域
的
Government
的
leader
,
然后
那个 人类
是
那个 地缘政治区域
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
在
那个 地缘政治区域
的
Government
任职
领导
,
然后 有存在
过程
这样
那个 过程
是
引导
的
instance
和
那个 地缘政治区域
是
那个 过程
的
patient
和
那个 人类
是
那个 过程
的
agent
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
如果
机构
是
政府内阁
的
instance
和
那个 机构
是
地缘政治区域
的
Government
Organization
的一部分 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
陈述
的
instance
和
那个 机构
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 地缘政治区域
的
Government
是
那个 另外 实体
的
leader
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
如果
命题
是
地缘政治区域
的
constitution
的
instance
和
那个 地缘政治区域
是
国家
的
instance
和
政府
equal
那个 地缘政治区域
的
Government
和
那个 政府
出现 的
time
是
有点 时间位置
的
instance
和
有点 时间位置
是
那个 命题
的
agreement
生效其间 和
另一个 命题
是
那个 命题
的
subProposition
和
公式
contains
那个 另外 命题
的资料,
然后
那个 政府
有义务执行
那个 公式
的任务
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
如果
地缘政治区域
是
国家
的
instance
和
人类
是
那个 地缘政治区域
的
leader
和
地位
是
地位
的
instance
和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
如果
地缘政治区域
是
国家
的
instance
和
地位
是
那个 地缘政治区域
的
Government
的
leader
职位,
然后
那个 地位
是
那个 地缘政治区域
的
leader
职位
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
如果
机构
是
最高法院
的
instance
和
那个 机构
是
地缘政治区域
的
Government
Organization
的一部分 和
那个 地缘政治区域
是
国家
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
supreme
法庭 的
instance
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
如果
过程
是
选举
的
instance
和
施事体
是
那个 过程
的
agent
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 施事体
是
那个 地缘政治区域
的
Government
的
instance
,
然后
那个 过程
是
政治过程
的
instance
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
如果
人类
是
人类
的
instance
和
地位
是
地位
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地位
是
那个 地缘政治区域
的
leader
职位 和
那个 人类
在
那个 地缘政治区域
的
Government
任职
那个 地位
,
然后
那个 人类
是
那个 地缘政治区域
的
leader
(=>
(
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
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
地缘政治区域
是
城市
的
instance
若且唯若
那个 地缘政治区域
的
Government
是
市政府
的
instance
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
地缘政治区域
是
州或省
的
instance
若且唯若
那个 地缘政治区域
的
Government
是
州政府
的
instance
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4648-4657
如果
地缘政治区域
是 对于 %3 的
diplomatic
类别 和
那个 地缘政治区域
是
国家
的
instance
和
施事体
是
地缘政治区域
的
instance
,
然后 有存在
机构
这样
那个 机构
是
另一个 有点 机构
的
instance
和
那个 机构
是
located
在
那个 施事体
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
employs
那个 人类
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4470-4478
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
,
然后 有存在
机构
这样
那个 机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
如果
地缘政治区域
是
机构
的
executive
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
如果
地缘政治区域
是
机构
的
executive
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
如果 %2 是 1% 的
government
类别 和
政体
是
神权政府
的
subAttribute
和
地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
是
宗教机构
的
instance
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
如果 %2 是 1% 的
government
类别 和
地缘政治区域
是
地缘政治区域
的
instance
和
政体
是
议会政府
的
subAttribute
,
然后 有存在
机构
这样
那个 机构
是
议会
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1336-1340
如果
地缘政治区域
的
executive
分支 是
机构
的
instance
和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
是
那个 地缘政治区域
的
executive
分支 的
executive
分支
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2155-2159
如果
地缘政治区域
的
judiciary
是
机构
的
instance
和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
是
那个 地缘政治区域
的
judiciary
的
judicial
分支
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2050-2054
如果
地缘政治区域
的
legislature
是
机构
的
instance
和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
是
那个 地缘政治区域
的
legislature
的
legislative
分支
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
如果
地缘政治区域
是
地缘政治区域
的
instance
和 %2 是 1% 的
government
类别,
然后
政体
是
那个 地缘政治区域
的
Government
的
attribute
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
如果
地缘政治区域
是
地缘政治区域
的
instance
和
人类
是
那个 地缘政治区域
的
leader
,
然后
那个 人类
是
那个 地缘政治区域
的
Government
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
如果
机构
是
地缘政治区域
的
instance
和
人类
在
那个 机构
任职
领导
,
然后
那个 人类
是
那个 机构
的
Government
的
leader
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
如果
机构
是
政府内阁
的
instance
和
那个 机构
是
地缘政治区域
的
Government
Organization
的一部分 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
陈述
的
instance
和
那个 机构
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 地缘政治区域
的
Government
是
那个 另外 实体
的
leader
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
如果
地缘政治区域
是
国家
的
instance
和
地位
是
那个 地缘政治区域
的
leader
职位,
然后
那个 地位
是
那个 地缘政治区域
的
Government
的
leader
职位
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
如果
有认知的主事
是
政治压力集团
的
instance
和
那个 有认知的主事
的 目的 是
公式
和
地理区域
是
agent
运作在
那个 有认知的主事
地区 和
那个 地理区域
是
国家
的
instance
,
然后
那个 有认知的主事
desires
那个 地理区域
的
Government
believes
那个 公式
(=>
(
and
(
instance
?R
PoliticalRevolution
)
(
patient
?R ?A))
(
exists
(?GOV1 ?GOV2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
equal
?GOV1
(
GovernmentFn
?A)))
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
equal
?GOV2
(
GovernmentFn
?A)))
(
not
(
equal
?GOV1 ?GOV2)))))
Mid-level-ontology.kif 13888-13900
如果
过程
是
政治革命
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
equal
那个 实体
的
Government
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 第三 实体
equal
那个 实体
的
Government
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
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
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
如果
地缘政治区域
是
机构
的
legislative
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
如果 %1 是 对于 %3 给代理 %2 的
representative
代理 和
地缘政治区域
是
国家
的
instance
和
有认知的主事
是
有认知的主事
的
instance
,
然后
那个 地缘政治区域
的
Government
employs
那个 有认知的主事
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
如果
ExpeditionaryForce
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 客体
是
那个 另外 实体
的
Government
Organization
的一部分 和
那个 实体
是
战斗
的
instance
和
那个 客体
是
那个 实体
的
agent
和
那个 第三 实体
是
国家
的
instance
和
那个 实体
是
located
在
那个 第三 实体
和
那个 另外 实体
不
equal
那个 第三 实体
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
国土安全部
是
美国
的
Government
Organization
的一部分
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1283-1283
USFoodAndDrugAdministration
是
美国
的
Government
Organization
的一部分
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2391-2391
美国国务院
是
美国
的
Government
Organization
的一部分
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1949-1949
美国国会
是
美国
的
Government
Organization
的一部分
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4855-4855
美国内政部
是
美国
的
Government
Organization
的一部分
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4850-4850
美国国务院
是
美国
的
Government
Organization
的一部分
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