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
Die Zahl 1 Argument von
GovernmentFn
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16711-16711
GovernmentFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16710-16710
GovernmentFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
GovernmentFn
Government
)
Merge.kif 16713-16713
bildbereich
von
GovernmentFn
ist ein fall von
Government
{nicht}
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
Wenn
FormOfGovernment
ist ein
attribut
von
GovernmentFn
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
fall
von
FormOfGovernment
%n{nicht},
dann
governmentType
** GeopoliticalArea
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
Wenn
UnicameralLegislature
ist ein
attribut
von
Organization
%n{nicht} und
legislativeBranch
** Organization
and
GeopoliticalArea
und
** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
,
dann
** ** Organization
ist gleich
** ** Organization
%n{nicht}
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
Wenn
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Government
und
GeopoliticalArea
ist ein
fall
von
City
%n{nicht} und
** Government
ist gleich
GovernmentFn
** GeopoliticalArea
%n{nicht},
dann
diplomaticOrganizationType
** AutonomousAgent
,
ConsulateGeneral
and
** Government
(=>
(
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Organization
and
** AutonomousAgent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
NationalGovernment
%n{nicht},
dann
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leader
GovernmentFn
** GeopoliticalArea
and
Human
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
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
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Human
besetzt die
position
von
Leader
in
GovernmentFn
** GeopoliticalArea
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Guiding
%n{nicht} und
** GeopoliticalArea
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht}
(=>
(
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
Wenn
Organization
ist ein
fall
von
GovernmentCabinet
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** Organization
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Stating
%n{nicht} und
** entity
ist der
agent
von
** Organization
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
leader
** ** entity
and
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
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
Wenn
Proposition
ist ein
fall
von
ConstitutionFn
GeopoliticalArea
%n{nicht} und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Government
ist gleich
GovernmentFn
** GeopoliticalArea
%n{nicht} und die
zeit
des Bestehens von
** Government
ist ein
fall
von
** TimePosition
%n{nicht} und
agreementEffectiveDuring
** Proposition
and
** TimePosition
und
** Proposition
ist eine
teilangelegenheit
von
** Proposition
%n{nicht} und
Formula
enthaelt Informationen ueber
** ** Proposition
,
dann
** Government
wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leader
** GeopoliticalArea
and
Human
und
Position
ist ein
fall
von
Position
%n{nicht} und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leaderPosition
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leaderPosition
GovernmentFn
** GeopoliticalArea
and
Position
,
dann
leaderPosition
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
Wenn
Organization
ist ein
fall
von
SupremeCourt
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
** Organization
ist ein
fall
von
SupremeCourtFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
Wenn
Process
ist ein
fall
von
Election
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GovernmentFn
** GeopoliticalArea
%n{nicht},
dann
** Process
ist ein
fall
von
PoliticalProcess
%n{nicht}
(=>
(
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
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
** Position
und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
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
Wenn
Process
ist ein
fall
von
UnconventionalWarfare
%n{nicht} und
** Process
ist der
agent
von
Government
%n{nicht} und
** Government
ist gleich
AutonomousAgent
nicht und
** Government
ist gleich
GovernmentFn
GeopoliticalArea
nicht und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
ResidentFn
** GeopoliticalArea
%n{nicht} oder
** AutonomousAgent
ist eine korrekte
teilsammlung
von
ResidentFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Contest
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
GovernmentFn
** GeopoliticalArea
%n{nicht}
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
GeopoliticalArea
ist ein
fall
von
City
%n{nicht} genau dann wenn
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
CityGovernment
%n{nicht}
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
GeopoliticalArea
ist ein
fall
von
StateOrProvince
%n{nicht} genau dann wenn
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
StateGovernment
%n{nicht}
(=>
(
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
Wenn
diplomaticOrganizationType
GeopoliticalArea
,
** Organization
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
** Organization
%n{nicht} und
** ** Organization
befindet
sich an %n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
beschaeftigt
** Human
%n{nicht}
(=>
(
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann es gibt
Organization
um
** Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
Wenn
executiveBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
Wenn
executiveBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** FormOfGovernment
ist ein
teilattribut
von
TheocraticGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
teilattribut
von
ParliamentaryGovernment
,
dann es gibt
Organization
um
** Organization
ist ein
fall
von
Parliament
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1336-1340
Wenn
ExecutiveBranchFn
GeopoliticalArea
ist ein
fall
von
Organization
%n{nicht} und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
executiveBranch
ExecutiveBranchFn
** GeopoliticalArea
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2155-2159
Wenn
JudiciaryFn
GeopoliticalArea
ist ein
fall
von
Organization
%n{nicht} und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
judicialBranch
JudiciaryFn
** GeopoliticalArea
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2050-2054
Wenn
LegislatureFn
GeopoliticalArea
ist ein
fall
von
Organization
%n{nicht} und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
legislativeBranch
LegislatureFn
** GeopoliticalArea
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
governmentType
** GeopoliticalArea
and
FormOfGovernment
,
dann
** FormOfGovernment
ist ein
attribut
von
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leader
** GeopoliticalArea
and
Human
,
dann
leader
GovernmentFn
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
Wenn
Organization
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Human
besetzt die
position
von
Leader
in
** Organization
,
dann
leader
GovernmentFn
** Organization
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
Wenn
Organization
ist ein
fall
von
GovernmentCabinet
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** Organization
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Stating
%n{nicht} und
** entity
ist der
agent
von
** Organization
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
leader
** ** entity
and
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
Position
,
dann
leaderPosition
GovernmentFn
** GeopoliticalArea
and
** Position
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
Wenn
CognitiveAgent
ist ein
fall
von
PoliticalPressureGroup
%n{nicht} und
** CognitiveAgent
hat Zweck von
Formula
%n{nicht} und
agentOperatesInArea
** CognitiveAgent
and
GeographicArea
und
** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
** CognitiveAgent
wuenscht
GovernmentFn
** GeographicArea
glaubt %n{nicht}, dass
** Formula
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
PoliticalRevolution
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** entity
und
** entity
um
** ** entity
ist gleich
GovernmentFn
** Entity
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** entity
ist gleich
GovernmentFn
** Entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** entity
ist gleich
** ** entity
nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
UnconventionalWarfare
%n{nicht} und
** Process
ist der
agent
von
Government
%n{nicht} und
** Government
ist gleich
AutonomousAgent
nicht und
** Government
ist gleich
GovernmentFn
GeopoliticalArea
nicht und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
ResidentFn
** GeopoliticalArea
%n{nicht} oder
** AutonomousAgent
ist eine korrekte
teilsammlung
von
ResidentFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Contest
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
Wenn
judicialBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
Wenn
judicialBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
Wenn
legislativeBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
Wenn
representativeAgentToAgent
GeopoliticalArea
,
CognitiveAgent
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
beschaeftigt
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
ExpeditionaryForce
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
subOrganization
** Object
and
GovernmentFn
** ** entity
und
** entity
ist ein
fall
von
Battle
%n{nicht} und
** entity
ist der
agent
von
** Object
%n{nicht} und
** ** entity
ist ein
fall
von
Nation
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
** ** entity
ist gleich
** ** entity
nicht %n{nicht}
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
subOrganization
DepartmentOfHomelandSecurity
and
GovernmentFn
UnitedStates
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1283-1283
subOrganization
USFoodAndDrugAdministration
and
GovernmentFn
UnitedStates
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2391-2391
subOrganization
USStateDepartment
and
GovernmentFn
UnitedStates
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1949-1949
subOrganization
UnitedStatesCongress
and
GovernmentFn
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4855-4855
subOrganization
UnitedStatesDepartmentOfInterior
and
GovernmentFn
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4850-4850
subOrganization
UnitedStatesDepartmentOfState
and
GovernmentFn
UnitedStates
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