GeopoliticalArea
(secteur g�opolitique)
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
ShipRegisterFn
secteur g�opolitique
est une
instance
de
ShipRegister
secteur g�opolitique
poss
�de
ShipRegisterFn
secteur g�opolitique
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
TerritorialSeaFn
secteur g�opolitique
est une
instance
de
TerritorialSea
claimedTerritory
TerritorialSeaFn
secteur g�opolitique
and
secteur g�opolitique
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
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
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
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
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
physique
est un
membre
de
MerchantMarineFn
secteur g�opolitique
physique
est une
instance
de
MerchantMarineShip
(=>
(
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
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
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
Organisation
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
organisation
leader
le
gouvernment
de
organisation
and
humain
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 1029-1038
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
suffrageAgeMaximum
secteur g�opolitique
and
dur�e temporel
dur�e temporel
RULE
dur�e temporel
RULE est une
instance
de
VoterAgeRequirement
dur�e temporel
RULE est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
suffrageAgeMaximum
secteur g�opolitique
and
dur�e temporel
contient
information
dur�e temporel
RULE
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
dur�e temporel
dur�e temporel
RULE
dur�e temporel
RULE est une
instance
de
VoterAgeRequirement
dur�e temporel
RULE est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
dur�e temporel
contient
information
dur�e temporel
RULE
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
AutonomousAgent
est une
instance
de
LandlockedArea
AutonomousAgent
est une
instance
de
secteur g�opolitique
secteur g�ographique
secteur g�ographique
est une
instance
de
MaritimeClaimArea
claimedTerritory
secteur g�ographique
and
AutonomousAgent
(=>
(
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
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
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
governmentType
secteur g�opolitique
and
Democracy
VoterCitizenshipRequirement
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14072-14077
Processus
est une
instance
de
Election
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
secteur g�opolitique
processus
est une
instance
de
processus polotique
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
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
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
processus
aboutit
�
entit�
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
processus
a pour
origine
objet
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
le
d
�but de
temps
d'existence de
processus
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique sous-division g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
physique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
physique
pendant
la
fin
de
temps
d'existence de
processus
physique
est
situ
� �
objet
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
processus
a pour
origine
objet
entit�
est une
instance
de
secteur g�opolitique
processus
aboutit
�
entit�
objet
est
entit�
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
processus
a pour
origine
objet
physique
est une
instance
de
secteur g�opolitique
processus
aboutit
�
physique
physique
est
situ
� �
objet
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
Secteur g�opolitique
est une
instance
de
GeographicPartTypeFn
secteur g�ographique
and
secteur g�opolitique
secteur g�ographique
est une
sous
-classe de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
Collection
est une
instance
de
CommunistParty
agent cognitif
est un
membre
de
collection
entit�
est une
instance
de
secteur g�opolitique
agent cognitif
desire
governmentType
entit�
and
CommunistState
(=>
(
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
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
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
acheter
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
GMBFn
collection
est
entit�
_PURCHASE_AMOUNT
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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