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
chiefOfState
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 16785-16789
(
domain
GovernmentFn
1
GeopoliticalArea
)
Merge.kif 16783-16783
Le nombre 1 argument de
GovernmentFn
est une
instance
de
secteur g�opolitique
(
instance
GovernmentFn
PartialValuedRelation
)
Merge.kif 16782-16782
GovernmentFn
est une
instance
de
relation partielle
(
instance
GovernmentFn
UnaryFunction
)
Merge.kif 16781-16781
GovernmentFn
est une
instance
de
function unaire
(
range
GovernmentFn
Government
)
Merge.kif 16784-16784
Le
domaine
de
GovernmentFn
est une instance de
gouvernement
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
est un
attribut
de le
gouvernment
de
secteur g�opolitique
FormOfGovernment
est une
instance
de
FormOfGovernment
governmentType
secteur g�opolitique
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 1941-1949
UnicameralLegislature
est un
attribut
de
organisation
legislativeBranch
organisation
and
secteur g�opolitique
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
organisation
est
organisation
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4639-4644
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
gouvernement
secteur g�opolitique
est une
instance
de
ville
gouvernement
est
gouvernment
de
secteur g�opolitique
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
gouvernement
(=>
(
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 4475-4483
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
agentOperatesInArea
organisation
and
AutonomousAgent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
GovernmentFn
?AREA)
NationalGovernment
))
(
instance
?AREA
Nation
))
Government.kif 121-125
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
le
gouvernment
de
secteur g�opolitique
est une
instance
de
NationalGovernment
secteur g�opolitique
est une
instance
de
nation
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14106-14110
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
leader
le
gouvernment
de
secteur g�opolitique
and
humain
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2273-2281
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
le
gouvernment
de
secteur g�opolitique
processus
processus
est une
instance
de
guider
secteur g�opolitique
est un
patient
de
processus
processus
est un
agent
de
humain
(=>
(
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 1477-1488
Organisation
est une
instance
de
GovernmentCabinet
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
a pour
but
entit�
entit�
entit�
est une
instance
de
d�clarer
entit�
est un
agent
de
organisation
entit�
est un
patient
de
entit�
leader
entit�
and le
gouvernment
de
secteur g�opolitique
(=>
(
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 738-747
Proposition
est une
instance
de
ConstitutionFn
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
gouvernement
est
gouvernment
de
secteur g�opolitique
temps
d'existence de
gouvernement
est une
instance
de
position temporel
agreementEffectiveDuring
proposition
and
position temporel
proposition
est une
sous
-proposition de
proposition
formule
contient
information
proposition
gouvernement
est
oblig
� d'ex�cut� des t�ches du type
formule
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
Secteur g�opolitique
est une
instance
de
nation
leader
secteur g�opolitique
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
Secteur g�opolitique
est une
instance
de
nation
leaderPosition
le
gouvernment
de
secteur g�opolitique
and
position
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2155-2160
Organisation
est une
instance
de
SupremeCourt
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
organisation
est une
instance
de
SupremeCourtFn
secteur g�opolitique
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14125-14131
Processus
est une
instance
de
Election
processus
est un
agent
de
AutonomousAgent
secteur g�opolitique
est une
instance
de
secteur g�opolitique
AutonomousAgent
est une
instance
de le
gouvernment
de
secteur g�opolitique
processus
est une
instance
de
processus polotique
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1451-1458
Humain
est une
instance
de
humain
position
est une
instance
de
position
secteur g�opolitique
est une
instance
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
(=>
(
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
Processus
est une
instance
de
UnconventionalWarfare
processus
est un
agent
de
gouvernement
gouvernement
est
AutonomousAgent
gouvernement
est
gouvernment
de
secteur g�opolitique
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
membre
de
ResidentFn
secteur g�opolitique
AutonomousAgent
est une
sous
-collection appartenant �
ResidentFn
secteur g�opolitique
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de le
gouvernment
de
secteur g�opolitique
consequent
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8360-8362
Secteur g�opolitique
est une
instance
de
ville
le
gouvernment
de
secteur g�opolitique
est une
instance
de
CityGovernment
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8353-8355
Secteur g�opolitique
est une
instance
de
Etat ou province
le
gouvernment
de
secteur g�opolitique
est une
instance
de
StateGovernment
(=>
(
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 4612-4621
diplomaticOrganizationType
secteur g�opolitique
,
organisation
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
AutonomousAgent
est une
instance
de
secteur g�opolitique
organisation
organisation
est une
instance
de
organisation
organisation
est
situ
� �
AutonomousAgent
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4450-4454
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
secteur g�opolitique
le
gouvernment
de
secteur g�opolitique
emploie
humain
(=>
(
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 4434-4442
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1277-1282
executiveBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1271-1275
executiveBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
governmentType
secteur g�opolitique
and
FormOfGovernment
FormOfGovernment
est un
sous
-attribut de
TheocraticGovernment
secteur g�opolitique
est une
instance
de
secteur g�opolitique
le
gouvernment
de
secteur g�opolitique
est une
instance
de
organisation religieuse
(=>
(
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
secteur g�opolitique
and
FormOfGovernment
secteur g�opolitique
est une
instance
de
secteur g�opolitique
FormOfGovernment
est un
sous
-attribut de
ParliamentaryGovernment
organisation
organisation
est une
instance
de
Parliament
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
(
ExecutiveBranchFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
executiveBranch
(
ExecutiveBranchFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 1300-1304
ExecutiveBranchFn
secteur g�opolitique
est une
instance
de
organisation
secteur g�opolitique
est une
instance
de
secteur g�opolitique
executiveBranch
ExecutiveBranchFn
secteur g�opolitique
and le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
(
JudiciaryFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
judicialBranch
(
JudiciaryFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2119-2123
JudiciaryFn
secteur g�opolitique
est une
instance
de
organisation
secteur g�opolitique
est une
instance
de
secteur g�opolitique
judicialBranch
JudiciaryFn
secteur g�opolitique
and le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
(
LegislatureFn
?AREA)
Organization
)
(
instance
?AREA
GeopoliticalArea
))
(
legislativeBranch
(
LegislatureFn
?AREA)
(
GovernmentFn
?AREA)))
Government.kif 2014-2018
LegislatureFn
secteur g�opolitique
est une
instance
de
organisation
secteur g�opolitique
est une
instance
de
secteur g�opolitique
legislativeBranch
LegislatureFn
secteur g�opolitique
and le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
governmentType
secteur g�opolitique
and
FormOfGovernment
FormOfGovernment
est un
attribut
de le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14112-14116
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
leader
le
gouvernment
de
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1310-1314
Organisation
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
organisation
leader
le
gouvernment
de
organisation
and
humain
(=>
(
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 1477-1488
Organisation
est une
instance
de
GovernmentCabinet
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
a pour
but
entit�
entit�
entit�
est une
instance
de
d�clarer
entit�
est un
agent
de
organisation
entit�
est un
patient
de
entit�
leader
entit�
and le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
Secteur g�opolitique
est une
instance
de
nation
leaderPosition
secteur g�opolitique
and
position
leaderPosition
le
gouvernment
de
secteur g�opolitique
and
position
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2326-2333
Agent cognitif
est une
instance
de
PoliticalPressureGroup
agent cognitif
a pour
but
formule
agentOperatesInArea
agent cognitif
and
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
agent cognitif
desire
le
gouvernment
de
secteur g�ographique
croit
formule
(=>
(
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 13915-13927
Processus
est une
instance
de
PoliticalRevolution
entit�
est un
patient
de
processus
entit�
entit�
entit�
est
gouvernment
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
gouvernment
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
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
Processus
est une
instance
de
UnconventionalWarfare
processus
est un
agent
de
gouvernement
gouvernement
est
AutonomousAgent
gouvernement
est
gouvernment
de
secteur g�opolitique
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
membre
de
ResidentFn
secteur g�opolitique
AutonomousAgent
est une
sous
-collection appartenant �
ResidentFn
secteur g�opolitique
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2094-2099
judicialBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2088-2092
judicialBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1993-1997
legislativeBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4578-4583
representativeAgentToAgent
secteur g�opolitique
,
agent cognitif
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
agent cognitif
est une
instance
de
agent cognitif
le
gouvernment
de
secteur g�opolitique
emploie
agent cognitif
(=>
(
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
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
objet
est une partie de l'organization le
gouvernment
de
entit�
entit�
est une
instance
de
bataille
entit�
est un
agent
de
objet
entit�
est une
instance
de
nation
entit�
est
situ
� �
entit�
entit�
est
entit�
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4792-4792
DepartmentOfHomelandSecurity
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
USFoodAndDrugAdministration
(
GovernmentFn
UnitedStates
))
VirusProteinAndCellPart.kif 1284-1284
USFoodAndDrugAdministration
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
USStateDepartment
(
GovernmentFn
UnitedStates
))
Government.kif 2355-2355
USStateDepartment
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
UnitedStatesCongress
(
GovernmentFn
UnitedStates
))
Government.kif 1913-1913
UnitedStatesCongress
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfInterior
(
GovernmentFn
UnitedStates
))
Government.kif 4819-4819
UnitedStatesDepartmentOfInterior
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
UnitedStatesDepartmentOfState
(
GovernmentFn
UnitedStates
))
Government.kif 4814-4814
UnitedStatesDepartmentOfState
est une partie de l'organization le
gouvernment
de
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