forall
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
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
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
Objet en une partie
est une
instance
de
objet
ConvexRoundShape
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
est une
partie
de
objet en une partie
GeometricPoint
est un
attribut
de
GeometricPoint
GeometricPoint
est un
point
de
objet en une partie
GeometricPoint
rencontre
objet en une partie
GeometricPoint
rencontre
objet en une partie
OneDimensionalFigure
la
tangente
de
objet en une partie
est
OneDimensionalFigure
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
Humain
est une
instance
de
humain
DescendantsFn
humain
est
family groupe familiale
organisme
organisme
est un
membre
de
family groupe familiale
ancestor
organisme
and
humain
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
Point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
interval temporel
est une
instance
de
interval temporel
l'
intervale
entre
point temporel
et
point temporel
est
interval temporel
point temporel
point temporel
est
entre
ou pendant
point temporel
et
point temporel
point temporel
est une
partie
de
interval temporel
(=>
(
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
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5306-5314
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 13338-13349
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
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
(
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
(
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
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
CompulsorySuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
RegionalLawFn
nation
oblige
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
and
(
trichotomizingOn
?RELATION ?CLASS)
(
instance
?RELATION
RelationExtendedToQuantities
))
(
forall
(?INST1 ?INST2)
(=>
(
and
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS))
(
or
(?RELATION ?INST1 ?INST2)
(?RELATION ?INST2 ?INST1)
(
equal
?INST1 ?INST2)))))
Merge.kif 3689-3701
Relation binaire
est
trichotomiz
� en
classe
relation binaire
est une
instance
de
relation �tendue aux quantit�es
entit�
entit�
entit�
est une
instance
de
classe
entit�
est une
instance
de
classe
relation binaire
entit�
and
entit�
relation binaire
entit�
and
entit�
entit�
est
entit�
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
Relation
a
nombre entier positif
argument
(s)
relation
est une
instance
de
predicat
@ROW
relation
@ROW
longueur
de (@ROW) est
nombre entier positif
(=>
(
attribute
?OBJ
Wet
)
(
forall
(?PART)
(=>
(
part
?PART ?OBJ)
(
exists
(?SUBPART)
(
and
(
part
?SUBPART ?PART)
(
attribute
?SUBPART
Liquid
))))))
Merge.kif 18013-18021
Wet
est un
attribut
de
objet
objet
objet
est une
partie
de
objet
objet
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
AeronauticalEngineer
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
a la
capacit
� de faire
processus
processus
processus
est une
instance
de
processus
processus
entit�
and
processus
T
processus
est une
instance
de
faire
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
entit�
est le
resultat
de
processus
processus
est un
sous
-processus de
processus
processus
processus
LAN,
entit�
and
processus
T
processus
est une
instance
de
Designing
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
processus
LAN est le
resultat
de
processus
processus
LAN
d
�finie
entit�
processus
est un
sous
-processus de
processus
(=>
(
attribute
?X
ExclusiveFemaleLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
Female
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1243-1254
ExclusiveFemaleLevel
est un
attribut
de
objet
physique
physique
est une
instance
de
HotelRoom
physique
est
situ
� �
objet
physique
a pour
but
entit�
Female
est un
attribut
de
entit�
stays
entit�
and
physique
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
ExecutiveLevel
est un
attribut
de
objet
physique
physique
est une
instance
de
HotelRoom
physique
est
situ
� �
objet
physique
a pour
but
entit�
BusinessExecutive
est un
attribut
de
entit�
entit�
est une
instance
de
humain
stays
entit�
and
physique
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
average
liste
and
nombre r�el
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
nombre r�el
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
causesSubclass
processus
and
processus
processus
processus
est une
instance
de
processus
processus
processus
est une
instance
de
processus
processus
cause
processus
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
climateTypeInArea
secteur g�ographique
and
WetTropicalClimateZone
mois
nombre r�el
mois
est une
instance
de
mois
averageRainfallForPeriod
secteur g�ographique
,
mois
and
nombre r�el
un
milli
�me de
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 60.0
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