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
If
a process
is an
instance
of
keeping
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that for all
a time position
if
the time position
is a
part
of the
time
of existence of
the process
,
then
the entity
is
located
at
the other entity
holds
during
the time position
(=>
(
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
If
a self connected object
is an
instance
of
object
and
convex round shape
is an
attribute
of
the self connected object
and
another self connected object
is a
surface
of
the self connected object
and
the other self connected object
is an
instance
of
two dimensional object
,
then for all
a geometric point
the geometric point
is a
part
of
the self connected object
and
geometric point
is an
attribute
of
the geometric point
and
the geometric point
is a
vertex
of
the self connected object
and
the geometric point
meet
s
the self connected object
and
the geometric point
meet
s
the other self connected object
and there exists
an one dimensional figure
such that a
tangent
of
the other self connected object
is
the one dimensional figure
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
If
a human
is an
instance
of
human
and the
descendants
of
the human
is
equal
to
a family group
,
then for all
an organism
the organism
is a
member
of
the family group
if and only if
the human
is the
ancestor
of
the organism
(=>
(
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
If
a time point
is an
instance
of
time point
and
another time point
is an
instance
of
time point
and
a time interval
is an
instance
of
time interval
and
interval
between
the time point
and
the other time point
is
equal
to
the time interval
,
then for all
a third time point
the third time point
is
between
or at
the time point
and
the other time point
if and only if
the third time point
is a
part
of
the time interval
(=>
(
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
If
a policy
is an
instance
of
daily housekeeping
and
an organization
enacts
policy
the policy
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
guest
at
the organization
and
the entity
stays
at
the other entity
and
the third entity
is
equal
to the
time
of existence of
the entity
stays
at
the other entity
and for all
a fourth entity
if
the fourth entity
is an
instance
of
day
and
the fourth entity
takes place
during
the third entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
service
and
the other entity
is a
patient
of
the fifth entity
and
the fifth entity
takes place
during
the fourth entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?RELATION
ReflexiveRelation
)
(
reflexiveOn
?RELATION ?CLASS)
(
instance
?RELATION
Predicate
))
(
forall
(?INST)
(=>
(
instance
?INST ?CLASS)
(?RELATION ?INST ?INST))))
Merge.kif 3610-3618
If
a binary relation
is an
instance
of
reflexive relation
and
the binary relation
is
reflexive
on
a class
and
the binary relation
is an
instance
of
predicate
,
then for all
an entity
if
the entity
is an
instance
of
the class
,
then
the binary relation
the entity
and
the entity
(=>
(
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
If
an entity
_COLL is an
instance
of
collection
and
another entity
_COLL is an
instance
of
collection
and
an experimenting
is an
instance
of
experimenting
and
a cognitive agent
is an
instance
of
cognitive agent
and
the cognitive agent
is an
agent
of
the experimenting
and
the entity
_COLL is a
sample
of
the other entity
_COLL for
the experimenting
,
then for all
an attribute
if
the attribute
is an
instance
of
attribute
and
the entity
_COLL the
attribute
the attribute
and
the cognitive agent
is
interested
in
the attribute
and
the attribute
is not
equal
to
representative sample
,
then
the other entity
_COLL the
attribute
the attribute
(=>
(
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
If
a collection
is an
instance
of
clothing suit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
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
If
a collection
is an
instance
of
collection
and
a corpuscular object
is an
instance
of
hyperlink
and for all
a physical
the physical
is a
member
of
another collection
and
the physical
is an
instance
of
accessing web page
and
the other collection
is a
component
of
the corpuscular object
,
then there exists
a third collection
such that
the third collection
is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
requesting hyperlink
and
the corpuscular object
is a
patient
of
the process
,
then
the process
is a
member
of
the third collection
and the
rate
of clicking through
the corpuscular object
in
the collection
is
equal
to the number of
instances
in
the third collection
and the number of
instances
in
the 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
If
a process
is an
instance
of
war
and
an agent
is an
agent
of
the process
,
then
the agent
is an
instance
of
geopolitical area
or
the agent
is an
instance
of
organization
and for all
a physical
if
the physical
is a
member
of
the agent
,
then
the physical
is an
instance
of
geopolitical area
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
If
an object
is an
instance
of
buffet
and
breakfast
is an
attribute
of
the object
,
then the statement for all
an entity
if
the entity
is a
member
of
the object
,
then
breakfast
is an
attribute
of
the entity
has the
modal
force
of
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
If
a collection
is an
instance
of
outfit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
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
If
a hotel reservation
is for
an integer
seniors
and
an agent
fulfills
the hotel reservation
,
then there exist
a collection
and
a real number
such that
the collection
is an
instance
of
group of people
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
human adult
and the
age
of
the physical
is
the real number
year duration
(s) and
the real number
is
greater
than or equal to 60
and
the integer
is a
member
count of
the collection
and
the collection
is a
potential
customer
for
the agent
(=>
(
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
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
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
If
a kind of physical
is an
amenity
in
a kind of hotel unit
and
a kind of physical
is a
subclass
of
object
,
then for all
an object
if
the object
is an
instance
of
a kind of hotel unit
,
then there exists
another physical
such that
the object
is an
instance
of
the kind of hotel unit
and
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the object
(=>
(
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
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
,
then the
regional
law of
the nation
obligate
s
the human
to perform task of the type for all
an entity
,
another entity
and
a third entity
if
the human
is a
citizen
of
the nation
and
the entity
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other entity
year duration
(s) and
the other entity
is
greater
than or equal to
the entity
and
the third entity
is an
instance
of the
election
of
the nation
,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of the
voting
of
the third entity
and
the human
is an
agent
of
the fourth entity
(=>
(
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
If
a binary relation
is
trichotomizing
on
a class
and
the binary relation
is an
instance
of
relation extended to quantities
,
then for all
an entity
and
another entity
if
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
,
then
the binary relation
the entity
and
the other entity
or
the binary relation
the other entity
and
the entity
or
the entity
is
equal
to
the other entity
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
If
a relation
has
a positive integer
argument
(s) and
the relation
is an
instance
of
predicate
,
then for all @ROW
if
the relation
@ROW,
then
length
of (@ROW) is
equal
to
the positive integer
(=>
(
attribute
?OBJ
Wet
)
(
forall
(?PART)
(=>
(
part
?PART ?OBJ)
(
exists
(?SUBPART)
(
and
(
part
?SUBPART ?PART)
(
attribute
?SUBPART
Liquid
))))))
Merge.kif 18013-18021
If
wet
is an
attribute
of
an object
,
then for all
another object
if
the other object
is a
part
of
the object
,
then there exists
a third object
such that
the third object
is a
part
of
the other object
and
liquid
is an
attribute
of
the third object
(=>
(
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
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
has the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
(=>
(
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
If
female level
is an
attribute
of
an object
,
then for all
a physical
if
the physical
is an
instance
of
hotel room
and
the physical
is
located
at
the object
,
then
the physical
has the purpose there exists
an entity
such that
female
is an
attribute
of
the entity
and
the entity
stays
at
the physical
(=>
(
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
If
executive level
is an
attribute
of
an object
,
then for all
a physical
if
the physical
is an
instance
of
hotel room
and
the physical
is
located
at
the object
,
then
the physical
has the purpose there exists
an entity
such that
business executive
is an
attribute
of
the entity
and
the entity
is an
instance
of
human
and
the entity
stays
at
the physical
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5369-5374
If
a real number
is an
average
of
a list
,
then for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
real number
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
If
a kind of process
is a
causes
subclass of
another kind of process
,
then for all
a third process
if
the third process
is an
instance
of
a kind of process
,
then there exists
a fourth process
such that
the fourth process
is an
instance
of
another kind of process
and
the fourth process
cause
s
the third process
(=>
(
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
If
wet tropical climate zone
is a
climate
type in area of
a geographic area
,
then for all
a month
and
a real number
the month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
the real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 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