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 and
GeopoliticalArea
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16711-16711
例
政府
and
PartialValuedRelation
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16710-16710
例
政府
and
UnaryFunction
(
range
GovernmentFn
Government
)
Merge.kif 16713-16713
範圍
政府
and
Government
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
attribute
政府
GeopoliticalArea
and
政體
例
政體
and
政體
%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
Organization
and
一院制立法機關
GeopoliticalArea
是
Organization
的
legislative
分支
例
Organization
and
立法院
子組織
Organization
and
政府
GeopoliticalArea
例
Organization
and
立法院
子組織
Organization
and
政府
GeopoliticalArea
等於
Organization
and
Organization
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
%
AutonomousAgent
%3
例
GeopoliticalArea
and
City
等於
Government
and
政府
GeopoliticalArea
AutonomousAgent
是 對於 %3 的
diplomatic
類別
(=>
(
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
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
AutonomousAgent
是
agent
運作在
Organization
地區
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
例
GeopoliticalArea
and
GeopoliticalArea
例
政府
GeopoliticalArea
and
國家政府
例
GeopoliticalArea
and
Nation
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
政府
GeopoliticalArea
的
leader
Human
是
GeopoliticalArea
的
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
例
GeopoliticalArea
and
GeopoliticalArea
佔據位置
Human
,
領導
and
政府
GeopoliticalArea
Process
例
Process
and
Guiding
患者
Process
and
GeopoliticalArea
agent
Process
and
Human
(=>
(
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
例
Organization
and
政府內閣
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
有目的
Organization
and
entity
entity
例
entity
and
Stating
agent
entity
and
Organization
患者
entity
and
entity
政府
GeopoliticalArea
是
entity
的
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
例
Proposition
and
GeopoliticalArea
的
constitution
例
GeopoliticalArea
and
Nation
等於
Government
and
政府
GeopoliticalArea
例
何時
Government
and
TimePosition
TimePosition
是
Proposition
的
agreement
生效其間
次提案
Proposition
and
Proposition
包含信息
Formula
and
Proposition
持有義務
Formula
and
Government
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
例
GeopoliticalArea
and
Nation
Human
是
GeopoliticalArea
的
leader
例
Position
and
Position
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
例
GeopoliticalArea
and
Nation
Position
是
政府
GeopoliticalArea
的
leader
職位
Position
是
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
例
Organization
and
最高法院
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
Nation
例
Organization
and
GeopoliticalArea
的
supreme
法庭
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
例
Process
and
選舉
agent
Process
and
AutonomousAgent
例
GeopoliticalArea
and
GeopoliticalArea
例
AutonomousAgent
and
政府
GeopoliticalArea
例
Process
and
PoliticalProcess
(=>
(
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
例
Human
and
Human
例
Position
and
Position
例
GeopoliticalArea
and
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Human
是
GeopoliticalArea
的
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
例
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
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
例
GeopoliticalArea
and
City
例
政府
GeopoliticalArea
and
市政府
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
例
GeopoliticalArea
and
StateOrProvince
例
政府
GeopoliticalArea
and
州政府
(=>
(
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
GeopoliticalArea
是 對於 %3 的
diplomatic
類別
例
GeopoliticalArea
and
Nation
例
AutonomousAgent
and
GeopoliticalArea
Organization
例
Organization
and
Organization
位於
Organization
and
AutonomousAgent
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
GeopoliticalArea
採用
政府
GeopoliticalArea
and
Human
(=>
(
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
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
Organization
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
Organization
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
GeopoliticalArea
是
Organization
的
executive
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
Organization
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
GeopoliticalArea
是
Organization
的
executive
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
%2 是 1% 的
government
類別
子屬性
政體
and
神權政府
例
GeopoliticalArea
and
GeopoliticalArea
例
政府
GeopoliticalArea
and
ReligiousOrganization
(=>
(
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
類別
例
GeopoliticalArea
and
GeopoliticalArea
子屬性
政體
and
議會政府
Organization
例
Organization
and
議會
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1336-1340
例
GeopoliticalArea
的
executive
分支 and
Organization
例
GeopoliticalArea
and
GeopoliticalArea
政府
GeopoliticalArea
是
GeopoliticalArea
的
executive
分支 的
executive
分支
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2155-2159
例
GeopoliticalArea
的
judiciary
and
Organization
例
GeopoliticalArea
and
GeopoliticalArea
政府
GeopoliticalArea
是
GeopoliticalArea
的
judiciary
的
judicial
分支
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2050-2054
例
GeopoliticalArea
的
legislature
and
Organization
例
GeopoliticalArea
and
GeopoliticalArea
政府
GeopoliticalArea
是
GeopoliticalArea
的
legislature
的
legislative
分支
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
attribute
政府
GeopoliticalArea
and
政體
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
Human
是
政府
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
例
Organization
and
GeopoliticalArea
佔據位置
Human
,
領導
and
Organization
Human
是
政府
Organization
的
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
例
Organization
and
政府內閣
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
有目的
Organization
and
entity
entity
例
entity
and
Stating
agent
entity
and
Organization
患者
entity
and
entity
政府
GeopoliticalArea
是
entity
的
leader
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
例
GeopoliticalArea
and
Nation
Position
是
GeopoliticalArea
的
leader
職位
Position
是
政府
GeopoliticalArea
的
leader
職位
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
例
CognitiveAgent
and
政治壓力集團
有目的
CognitiveAgent
and
Formula
GeographicArea
是
agent
運作在
CognitiveAgent
地區
例
GeographicArea
and
Nation
慾望
CognitiveAgent
and
相信
政府
GeographicArea
and
Formula
(=>
(
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
例
Process
and
政治革命
患者
Process
and
Entity
entity
entity
持有期間
開始
何時
Process
and
等於
entity
and
政府
Entity
持有期間
結束
何時
Process
and
等於
entity
and
政府
Entity
等於
entity
and
entity
(=>
(
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
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
GeopoliticalArea
是
Organization
的
judicial
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
Organization
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
GeopoliticalArea
是
Organization
的
judicial
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
GeopoliticalArea
是
Organization
的
legislative
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
%1 是 對於 %3 給代理 %2 的
representative
代理
例
GeopoliticalArea
and
Nation
例
CognitiveAgent
and
CognitiveAgent
採用
政府
GeopoliticalArea
and
CognitiveAgent
(=>
(
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
attribute
Object
and
ExpeditionaryForce
有目的
Object
and
entity
entity
and
entity
子組織
Object
and
政府
entity
例
entity
and
Battle
agent
entity
and
Object
例
entity
and
Nation
位於
entity
and
entity
等於
entity
and
entity
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
子組織
國土安全部
and
政府
美國
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1283-1283
子組織
USFoodAndDrugAdministration
and
政府
美國
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2391-2391
子組織
美國國務院
and
政府
美國
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1949-1949
子組織
美國國會
and
政府
美國
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4855-4855
子組織
美國內政部
and
政府
美國
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4850-4850
子組織
美國國務院
and
政府
美國
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