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
GovernmentFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16711-16711
GovernmentFn
は
部分的価値関係
の
instance
では %n
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16710-16710
GovernmentFn
は
1変数関数
の
instance
では %n
(
range
GovernmentFn
Government
)
Merge.kif 16713-16713
GovernmentFn
の
range
は
政府
のインスタンス では %n
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
FormOfGovernment
は
地政学的地域
の
government
の
attribute
では %n
FormOfGovernment
は
FormOfGovernment
の
instance
では %n
governmentType
地政学的地域
and
FormOfGovernment
(=>
(
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
UnicameralLegislature
は
組織
の
attribute
では %n
legislativeBranch
組織
and
地政学的地域
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
組織
は
組織
と
equal
では %n
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
政府
地政学的地域
は
都市
の
instance
では %n
政府
は
地政学的地域
の
government
と
equal
では %n
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
政府
(=>
(
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
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
AutonomousAgent
は
地政学的地域
の
instance
では %n
agentOperatesInArea
組織
and
AutonomousAgent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
の
government
は
NationalGovernment
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
の
government
and
人[人間]
leader
地政学的地域
and
人[人間]
(=>
(
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
では %n
人[人間]
は
地政学的地域
の
government
の
Leader
の
position
を holds %n{ない}
工程
工程
は
案内
の
instance
では %n
地政学的地域
は
工程
の
patient
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
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
組織
は
GovernmentCabinet
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は
エンティティー
エンティティー
エンティティー
は
記載
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
leader
エンティティー
and
地政学的地域
の
government
の 目的 %n{ない}
(=>
(
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
命題
は
ConstitutionFn
地政学的地域
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
政府
は
地政学的地域
の
government
と
equal
では %n
政府
の
time
の existence は
時間位置
の
instance
では %n
agreementEffectiveDuring
命題
and
時間位置
命題
は
命題
の
sub
-proposition では %n
公式
は
命題
の情報を
contain
s %n{ない}
政府
はタイプ
公式
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
地政学的地域
は
国民
の
instance
では %n
leader
地政学的地域
and
人[人間]
ポジション
は
ポジション
の
instance
では %n
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leaderPosition
地政学的地域
and
ポジション
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
地政学的地域
は
国民
の
instance
では %n
leaderPosition
地政学的地域
の
government
and
ポジション
leaderPosition
地政学的地域
and
ポジション
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
組織
は
SupremeCourt
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
国民
の
instance
では %n
組織
は
SupremeCourtFn
地政学的地域
の
instance
では %n
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
工程
は
Election
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
government
の
instance
では %n
工程
は
政治的プロセス
の
instance
では %n
(=>
(
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
では %n
ポジション
は
ポジション
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
leaderPosition
地政学的地域
and
ポジション
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leader
地政学的地域
and
人[人間]
(=>
(
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
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
地政学的地域
は
都市
の
instance
では %n
地政学的地域
の
government
は
CityGovernment
の
instance
では %n
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
地政学的地域
は
州
の
instance
では %n
地政学的地域
の
government
は
StateGovernment
の
instance
では %n
(=>
(
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
diplomaticOrganizationType
地政学的地域
,
組織
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
組織
は
組織
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
の
government
は
人[人間]
を
employ
s %n{ない}
(=>
(
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
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
executiveBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
governmentType
地政学的地域
and
FormOfGovernment
FormOfGovernment
は
TheocraticGovernment
の
subattribute
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
の
government
は
宗教団体
の
instance
では %n
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
governmentType
地政学的地域
and
FormOfGovernment
地政学的地域
は
地政学的地域
の
instance
では %n
FormOfGovernment
は
ParliamentaryGovernment
の
subattribute
では %n
組織
組織
は
Parliament
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1336-1340
ExecutiveBranchFn
地政学的地域
は
組織
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
executiveBranch
ExecutiveBranchFn
地政学的地域
and
地政学的地域
の
government
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2155-2159
JudiciaryFn
地政学的地域
は
組織
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
judicialBranch
JudiciaryFn
地政学的地域
and
地政学的地域
の
government
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2050-2054
LegislatureFn
地政学的地域
は
組織
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
legislativeBranch
LegislatureFn
地政学的地域
and
地政学的地域
の
government
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
地政学的地域
は
地政学的地域
の
instance
では %n
governmentType
地政学的地域
and
FormOfGovernment
FormOfGovernment
は
地政学的地域
の
government
の
attribute
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
and
人[人間]
leader
地政学的地域
の
government
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
組織
は
地政学的地域
の
instance
では %n
人[人間]
は
組織
の
Leader
の
position
を holds %n{ない}
leader
組織
の
government
and
人[人間]
(=>
(
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
組織
は
GovernmentCabinet
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は
エンティティー
エンティティー
エンティティー
は
記載
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
leader
エンティティー
and
地政学的地域
の
government
の 目的 %n{ない}
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
地政学的地域
は
国民
の
instance
では %n
leaderPosition
地政学的地域
and
ポジション
leaderPosition
地政学的地域
の
government
and
ポジション
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
認識エージェント
は
PoliticalPressureGroup
の
instance
では %n
認識エージェント
は
公式
の 目的 %n{ない}
agentOperatesInArea
認識エージェント
and
地理的地域
地理的地域
は
国民
の
instance
では %n
認識エージェント
が
地理的地域
の
government
は
公式
を
believe
s %n{ない} を
desire
s %n{ない}
(=>
(
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
工程
は
PoliticalRevolution
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
の
government
と
equal
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
government
と
equal
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
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
工程
は
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
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
legislativeBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
representativeAgentToAgent
地政学的地域
,
認識エージェント
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
認識エージェント
は
認識エージェント
の
instance
では %n
地政学的地域
の
government
は
認識エージェント
を
employ
s %n{ない}
(=>
(
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
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
オブジェクト
は組織
エンティティー
の
government
の一部では %n
エンティティー
は
戦い
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
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
DepartmentOfHomelandSecurity
は組織
UnitedStates
の
government
の一部では %n
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1283-1283
USFoodAndDrugAdministration
は組織
UnitedStates
の
government
の一部では %n
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2391-2391
USStateDepartment
は組織
UnitedStates
の
government
の一部では %n
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1949-1949
UnitedStatesCongress
は組織
UnitedStates
の
government
の一部では %n
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4855-4855
UnitedStatesDepartmentOfInterior
は組織
UnitedStates
の
government
の一部では %n
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4850-4850
UnitedStatesDepartmentOfState
は組織
UnitedStates
の
government
の一部では %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