possesses
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
Wenn
Object
ist ein
fall
von
Passport
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
confersNorm
** Object
, es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Translocation
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** entity
beginnet an
** ** entity
%n{nicht} und
** entity
endet an
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Nation
%n{nicht} und
** ** entity
ist ein
fall
von
Nation
%n{nicht} und
** ** entity
ist gleich
** ** entity
nicht and
Permission
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
Wenn
Object
ist ein
fall
von
ShipRegistration
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Ship
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
flagState
** AutonomousAgent
and
** GeopoliticalArea
,
dann
ShipRegisterFn
** GeopoliticalArea
fasst
das Inhalt von
** Object
zusammen
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
Wenn
AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht} und
Object
ist ein
fall
von
DiningRoom
%n{nicht} und
PrivateAttribute
ist ein
attribut
von
** Object
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
GroupOfPeople
%n{nicht},
dann die Aussage es gibt nicht
entity
und
** entity
um
customer
** entity
and
** AutonomousAgent
und
** CognitiveAgent
ist gleich
** entity
nicht und
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} und
eventLocated
** ** entity
and
** Object
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
Wenn
AutonomousAgent
ist ein
fall
von
Ticket
%n{nicht} und
** AutonomousAgent
besitzt
Object
%n{nicht} und
issuedBy
** AutonomousAgent
and
CognitiveAgent
und
AmusementGamblingAndRecreationIndustries
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht},
dann
confersNorm
** CognitiveAgent
, es gibt
entity
um
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Object
erfaehrt
** entity
%n{nicht} und
eventLocated
** entity
and
** Object
and
Permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
Wenn
TimePosition
ist ein
fall
von
TimePosition
%n{nicht} und
entity
besitzt
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** entity
besitzt
** ** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht},
dann
** entity
ist gleich
** ** entity
%n{nicht}
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
Wenn
PermanentResidence
ist ein
fall
von
SingleFamilyResidence
%n{nicht} und
home
Human
and
** PermanentResidence
und
** Human
besitzt
** PermanentResidence
%n{nicht} und
** PermanentResidence
ist ein
fall
von
Building
nicht,
dann
** PermanentResidence
ist ein
fall
von
CondominiumUnit
%n{nicht}
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
Wenn
Object
ist ein
fall
von
BiochemicalWeapon
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
BiochemicalAttack
zu tun
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
Wenn
issuedBy
Certificate
and
CognitiveAgent
und
** Certificate
ist ein
fall
von
Ticket
%n{nicht} und
AutonomousAgent
besitzt
** Certificate
%n{nicht},
dann
confersNorm
** CognitiveAgent
, es gibt
entity
um es gibt
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** entity
%n{nicht} haelt
waehrend
** entity
%n{nicht} and
Permission
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
Wenn
paidFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
Wenn
paidPropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Process
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
Wenn
AutonomousAgent
besitzt
Object
%n{nicht} und das
mass
von
** Object
ist
RealNumber
ShareUnit
(s) %n{nicht} und
splitFor
StockSplit
,
Integer
and
** Integer
,
dann
entity
ist gleich
** RealNumber
und
** ** Integer
%n{nicht} und
** entity
ist gleich
** entity
und
** Integer
%n{nicht} und das
mass
von
** Object
ist
** ** entity
ShareUnit
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** StockSplit
%n{nicht}
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
Wenn
CognitiveAgent
besitzt
Object
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CommercialAgent
%n{nicht} und
** Object
ist ein
fall
von
ParkingLot
%n{nicht} und
** Object
ist ein
fall
von
Building
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht} und
customer
** CognitiveAgent
and
AutonomousAgent
und
** AutonomousAgent
befindet
sich an %n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
Process
ist ein
fall
von
Driving
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
endet an
** ** Object
%n{nicht},
dann
** CognitiveAgent
erlaubt
** AutonomousAgent
, die Aufgabe der Art von
** entity
ist ein
fall
von
Keeping
%n{nicht} und
** ** entity
endet an
** Object
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
Wenn
riskTolerance
AutonomousAgent
and
RiskAttribute
und
Object
ist ein
fall
von
Investment
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht},
dann
riskLevel
** Object
and
** RiskAttribute
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
Wenn
AutonomousAgent
besitzt
Object
%n{nicht},
dann
** Object
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht}
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
Wenn
AutonomousAgent
besitzt
Object
%n{nicht},
dann die Aussage
** AutonomousAgent
verwendet
** Object
hat die modale Kraft von
Permission
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