GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ShipRegisterFn
** GeopoliticalArea
ist ein
fall
von
ShipRegister
%n{nicht},
dann
** GeopoliticalArea
besitzt
ShipRegisterFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
TerritorialSeaFn
** GeopoliticalArea
ist ein
fall
von
TerritorialSea
%n{nicht},
dann
claimedTerritory
TerritorialSeaFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
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
)
(
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
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Physical
ist ein
Mitglied
von
MerchantMarineFn
** GeopoliticalArea
%n{nicht},
dann
** Physical
ist ein
fall
von
MerchantMarineShip
%n{nicht}
(=>
(
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
?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
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 1029-1038
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
TimeDuration
,
dann es gibt
** TimeDuration
RULE um
** TimeDuration
RULE ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** TimeDuration
RULE ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
** TimeDuration
enthaelt Informationen ueber
** TimeDuration
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
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
suffrageAgeMinimum
** GeopoliticalArea
and
TimeDuration
,
dann es gibt
** TimeDuration
RULE um
** TimeDuration
RULE ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** TimeDuration
RULE ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
suffrageAgeMinimum
** GeopoliticalArea
and
** TimeDuration
enthaelt Informationen ueber
** TimeDuration
RULE
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
Wenn
AutonomousAgent
ist ein
fall
von
LandlockedArea
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt nicht
GeographicArea
um
** GeographicArea
ist ein
fall
von
MaritimeClaimArea
%n{nicht} und
claimedTerritory
** GeographicArea
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
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
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
governmentType
** GeopoliticalArea
and
Democracy
,
dann
VoterCitizenshipRequirement
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14072-14077
Wenn
Process
ist ein
fall
von
Election
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** Process
ist ein
fall
von
PoliticalProcess
%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
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht},
dann
** Entity
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** Entity
befindet
sich an nicht haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Process
beginnet an
** Object
%n{nicht},
dann
** Entity
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** GeopoliticalArea
um
** ** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
geopoliticalSubdivision
** GeopoliticalArea
and
** ** GeopoliticalArea
und
geopoliticalSubdivision
** ** GeopoliticalArea
and
** GeopoliticalArea
und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
Physical
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** Physical
befindet
sich an nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Process
beginnet an
** Object
%n{nicht} und
** Entity
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht},
dann
** Object
ist gleich
** ** Entity
nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Process
beginnet an
** Object
%n{nicht} und
Physical
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Process
endet an
** Physical
%n{nicht},
dann
** Physical
befindet
sich an nicht
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
Wenn
GeopoliticalArea
ist ein
fall
von
GeographicPartTypeFn
** GeographicArea
and
** GeopoliticalArea
%n{nicht} und
** GeographicArea
ist eine
teilkategorie
von
GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
geopoliticalSubdivision
** GeopoliticalArea
and
** ** GeopoliticalArea
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
Wenn
Collection
ist ein
fall
von
CommunistParty
%n{nicht} und
CognitiveAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
Entity
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** CognitiveAgent
wuenscht
governmentType
** Entity
and
CommunistState
%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
?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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Buying
%n{nicht}
und es gibt
Object
um
** Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und fuer alle
AutonomousAgent
und
Process
wenn
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Buying
%n{nicht} und
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
befindet
sich an %n{nicht}
,
dann es gibt
SymbolicString
,
entity
, and und
** entity
_PURCHASE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** ** entity
_PURCHASE_AMOUNT und
GMBFn
** Collection
ist gleich
** ** entity
_PURCHASE_AMOUNT %n{nicht}
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