=>
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3455-3484
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
interval temporel
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est une
instance
de
acheter
interval temporel
est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
acheter
interval temporel
_BEFORE est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
_BEFORE
interval temporel
_BEFORE prend place
pendant
interval temporel
pendant
interval temporel
_BEFORE
SiteWideNewBuyersFn
interval temporel
and
WebSite
est
collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
physique
physique
est une
instance
de
humain
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
_BEFORE
interval temporel
_DURING
interval temporel
_DURING est une
instance
de
interval temporel
interval temporel
_DURING prend place
pendant
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
physique
est un
membre
de
collection
collection
est
SiteWideNewRegistrationsFn
interval temporel
and
WebSite
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
interval temporel
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est une
instance
de
vendre
interval temporel
est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
vendre
interval temporel
_BEFORE est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
_BEFORE
interval temporel
_BEFORE prend place
pendant
interval temporel
pendant
interval temporel
_BEFORE
SiteWideNewSellersFn
interval temporel
and
WebSite
est
collection
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12212-12220
Processus
est une
instance
de
garder
entit�
est un
patient
de
processus
entit�
position temporel
position temporel
est une
partie
de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
Objet
est une
instance
de
DigitalDataStorageDevice
cha�ne sympbolique
est une
partie
de
objet
cha�ne sympbolique
est une
instance
de
DigitalData
CodeMap
liste
and
entit�
codeMapping
CodeMap
,
cha�ne sympbolique
and
entit�
liste
d
�finie
CodeMap
entit�
est un
membre
de
liste
entit�
est une
instance
de
nombre binaire
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
est une
instance
de
DailyHousekeepingPolicy
policyOwner
organisation
and
Policy
l'argument
entit�
entit�
and
entit�
guest
entit�
and
organisation
stays
entit�
and
entit�
entit�
est
temps
d'existence de
stays
entit�
and
entit�
entit�
entit�
est une
instance
de
jour
entit�
prend place
pendant
entit�
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
entit�
prend place
pendant
entit�
pendant
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?RELATION
ReflexiveRelation
)
(
reflexiveOn
?RELATION ?CLASS)
(
instance
?RELATION
Predicate
))
(
forall
(?INST)
(=>
(
instance
?INST ?CLASS)
(?RELATION ?INST ?INST))))
Merge.kif 3610-3618
Relation binaire
est une
instance
de
relation r�flexive
relation binaire
est
refl
�xif sur
classe
relation binaire
est une
instance
de
predicat
entit�
entit�
est une
instance
de
classe
relation binaire
entit�
and
entit�
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
CognitiveAgent
)
(
agent
?EXPERIMENT ?AGENT)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
forall
(?ATTRIBUTE)
(=>
(
and
(
instance
?ATTRIBUTE
Attribute
)
(
property
?SAMPLE_COLL ?ATTRIBUTE)
(
inScopeOfInterest
?AGENT ?ATTRIBUTE)
(
not
(
equal
?ATTRIBUTE
RepresentativeSample
)))
(
property
?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
Entit�
_COLL est une
instance
de
collection
entit�
_COLL est une
instance
de
collection
Experimenting
est une
instance
de
Experimenting
agent cognitif
est une
instance
de
agent cognitif
Experimenting
est un
agent
de
agent cognitif
statisticalPopulation
entit�
_COLL,
entit�
_COLL and
Experimenting
attribut
attribut
est une
instance
de
attribut
entit�
_COLL a un
attribute
attribut
agent cognitif
est
interess
� par
attribut
attribut
est
RepresentativeSample
entit�
_COLL a un
attribute
attribut
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18149-18183
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3397-3425
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5305-5313
Collection
est une
instance
de
ClothingSuit
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
physique
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
Collection
est une
instance
de
collection
objet corpusculaire
est une
instance
de
HypertextLink
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
collection
est un
composant
de
objet corpusculaire
collection
collection
est une
instance
de
collection
processus
processus
est une
instance
de
RequestingHyperlink
objet corpusculaire
est un
patient
de
processus
processus
est un
membre
de
collection
ClickThroughRateFn
collection
and
objet corpusculaire
est
instances
dans
collection
+ le nombre d'
instances
dans
collection
(=>
(
and
(
instance
?WAR
War
)
(
agent
?WAR ?AGENT))
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
and
(
instance
?AGENT
Organization
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?AGENT)
(
instance
?MEMBER
GeopoliticalArea
))))))
Merge.kif 13360-13371
Processus
est une
instance
de
guerre
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
secteur g�opolitique
AutonomousAgent
est une
instance
de
organisation
physique
physique
est un
membre
de
AutonomousAgent
physique
est une
instance
de
secteur g�opolitique
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
Objet
est une
instance
de
Buffet
Breakfast
est un
attribut
de
objet
l'argument
entit�
entit�
est un
membre
de
objet
Breakfast
est un
attribut
de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
Collection
est une
instance
de
Outfit
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
physique
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
maxCardinality
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est plus
petit
ou �gal �
nombre entier
(=>
(
and
(
minCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
minCardinality
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est
plus
grand
ou �gal �
nombre entier
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
nombre r�el
collection
est une
instance
de
GroupOfPeople
physique
physique
est un
membre
de
collection
physique
est une
instance
de
HumanAdult
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 60
memberCount
collection
and
nombre entier
potentialCustomer
collection
and
AutonomousAgent
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
l'argument
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
a pour
origine
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validityPeriod
PricingScheme
and
interval temporel
l'argument
entit�
est une
instance
de
vendre
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
pendant
interval temporel
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Agreement
a un
attribute
EuropeanStyleOption
agreementExpirationDate
Agreement
and
point temporel
interval temporel
interval temporel
and
physique
interval temporel
est une
instance
de
interval temporel
la
fin
de
interval temporel
est
point temporel
physique
est une
instance
de
ExerciseAnOption
temps
d'existence de
physique
est
interval temporel
interval temporel
est une
partie
de
interval temporel
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
roomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
objet
objet
est une
instance
de
HotelUnit
physique
objet
est une
instance
de
HotelUnit
physique
est une
instance
de
physique
physique
est
situ
� �
objet
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