member
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7949-7958
If
a process
is an
instance
of
large group process
and
a collection
is an
instance
of
collection
and
a physical
is a
member
of
the collection
and
the physical
is an
involved
in event of
the process
,
then there exist
a class
and
the class
C such that
the class
C is an
instance
of
the class
and
the physical
is an
involved
in event of
the class
C
(=>
(
and
(
instance
?M
Meal
)
(
member
?H ?M)
(
or
(
instance
?H
Coffee
)
(
instance
?H
Tea
))
(
member
?J ?M)
(
instance
?J
Juice
)
(
member
?B ?M)
(
instance
?B
BreadOrBiscuit
)
(
member
?B ?M)
(
instance
?B
Butter
)
(
member
?JA ?M)
(
instance
?JA
Jam
))
(
attribute
?M
ContinentalBreakfast
))
Food.kif 1731-1746
If
a collection
is an
instance
of
meal
and
a physical
is a
member
of
the collection
and
the physical
is an
instance
of
coffee
or
the physical
is an
instance
of
tea
and
another physical
is a
member
of
the collection
and
the other physical
is an
instance
of
juice
and
a third physical
is a
member
of
the collection
and
the third physical
is an
instance
of
bread or biscuit
and
the third physical
is a
member
of
the collection
and
the third physical
is an
instance
of
butter
and
the other physical
A is a
member
of
the collection
and
the other physical
A is an
instance
of
jam
,
then
continental breakfast
is an
attribute
of
the collection
(=>
(
and
(
instance
?M
ShoppingMall
)
(
member
?S ?M))
(
instance
?S
RetailStore
))
Mid-level-ontology.kif 7795-7799
If
a collection
is an
instance
of
shopping mall
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
retail store
(=>
(
and
(
instance
?MC
MilitaryConvoy
)
(
member
?X ?MC))
(
instance
?X
MilitaryVehicle
))
Military.kif 102-106
If
a collection
is an
instance
of
military convoy
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
military vehicle
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
If
a process
is an
instance
of
BarMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
boy
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
If
a process
is an
instance
of
BatMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
girl
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
If
a process
is an
instance
of
singing
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
choir
and
another agent
is a
member
of
the agent
holds
during
the process
,
then there exists
another process
such that
the other process
is an
instance
of
singing
and
the other process
is a
subprocess
of
the process
and
the other agent
is an
agent
of
the other process
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
If
a process
is an
instance
of
Ordaining
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
human
and
the physical
is a
member
of
christianity
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ceremony
and
the other entity
is an
instance
of
appointing
and
the other entity
is a
subprocess
of
the entity
and
the physical
is a
patient
of
the other entity
and
appointedPosition
the other entity
,
the physical
and
cleric
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
If
an entity
is an
instance
of
military organization
and
another entity
is a
member
of
the entity
holds
during
a time position
and
the other entity
is an
instance
of
human
,
then
military person
is an
attribute
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16631-16635
If
a collection
is an
instance
of
organization
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
and
(
instance
?ORG
OrganizationOfNations
)
(
member
?MEM ?ORG))
(
instance
?MEM
Nation
))
Government.kif 2531-2535
If
a collection
is an
instance
of
organization of nations
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
nation
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
If
a collection
is an
instance
of
communist party
and
a cognitive agent
is a
member
of
the collection
and
an entity
is an
instance
of
geopolitical area
,
then
the cognitive agent
desire
s
communist state
is a
government
type of
the entity
(=>
(
and
(
instance
?PROFILE
VisitorProfile
)
(
member
?FORMULA ?PROFILE))
(
instance
?FORMULA
Formula
))
UXExperimentalTerms.kif 1134-1138
If
a collection
is an
instance
of
visitor profile
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
formula
(=>
(
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
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
buying
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_PURCHASE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_PURCHASE_AMOUNT and the
value
of
the collection
is
equal
to
the other entity
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
selling
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_SALE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_SALE_AMOUNT and the
value
of
the collection
is
equal
to
the other entity
_SALE_AMOUNT
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
If
a collection
is an
instance
of
collection
and
a real number
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the real number
is
equal
to the
value
of
the collection
and
the integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
,
then the
average
selling
price
of
the collection
is
equal
to
the real number
and
the integer
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
If
an agent
is an
instance
of
ship
and
a geopolitical area
is an
instance
of
geopolitical area
and
the agent
is a
member
of the
merchant
marine of
the geopolitical area
,
then there exists
an object
such that
the object
is an
instance
of
ship registration
and
the agent
possess
es
the object
and the
ship
register of
the geopolitical area
subsume
s the content of
the object
(=>
(
and
(
instance
?STORE
WebStore
)
(
member
?PAGE ?STORE))
(
instance
?PAGE
WebPage
))
UXExperimentalTerms.kif 2141-2145
If
a collection
is an
instance
of
web store
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web page
(=>
(
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
?TEST
MultivariateTest
)
(
member
?EXPERIMENT ?TEST))
(
instance
?EXPERIMENT
Experimenting
))
UXExperimentalTerms.kif 4495-4499
If
a collection
is an
instance
of
multivariate test
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
experimenting
(=>
(
and
(
instance
?TO
TerroristOrganization
)
(
member
?PERSON ?TO))
(
attribute
?PERSON
Terrorist
))
MilitaryProcesses.kif 2151-2155
If
a collection
is an
instance
of
terrorist organization
and
an object
is a
member
of
the collection
,
then
terrorist
is an
attribute
of
the object
(=>
(
and
(
instance
?UNIT
SocialUnit
)
(
holdsDuring
?T1
(
and
(
member
?UNIT ?H1)
(
member
?UNIT ?H2))))
(
holdsDuring
?T1
(
cohabitant
?H1 ?H2)))
Mid-level-ontology.kif 22998-23006
If
an entity
is an
instance
of
social unit
and
the entity
is a
member
of
another entity
and
the entity
is a
member
of
a third entity
holds
during
a time position
,
then
the third entity
is a
cohabitant
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
If
a process
is an
instance
of
unconventional warfare
and
a government
is an
agent
of
the process
and
the government
is not
equal
to
an agent
and
the government
is not
equal
to the
government
of
a geopolitical area
and
the agent
is a
patient
of
the process
and
the agent
is a
member
of the
resident
of
the geopolitical area
or
the agent
is a proper
sub
-collection of the
resident
of
the geopolitical area
,
then there exists
another process
such that
the other process
is an
instance
of
contest
and
the agent
is an
agent
of
the other process
and the
government
of
the geopolitical area
is an
agent
of
the other process
(=>
(
and
(
instance
?V
Vertebrate
)
(
instance
?H
Head
)
(
part
?H ?V)
(
instance
?S
Skull
)
(
attribute
?V
Healthy
)
(
member
?B ?S)
(
part
?B ?V))
(
part
?B ?H))
Mid-level-ontology.kif 11499-11508
If
an object
is an
instance
of
vertebrate
and
another object
is an
instance
of
head
and
the other object
is a
part
of
the object
and
a collection
is an
instance
of
skull
and
healthy
is an
attribute
of
the object
and
a third object
is a
member
of
the collection
and
the third object
is a
part
of
the object
,
then
the third object
is a
part
of
the other object
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
an experimenting
and
a physical
if there exists
a kind of process
such that
the experimenting
is an
instance
of
experimenting
and
the physical
is an
instance
of
process
and
the physical
is a
member
of
events
in
the experimenting
and
the physical
is an
instance
of
a kind of process
and
the human
is
capable
of doing
the kind of process
as a
experiencer
,
then
the physical
is a
member
of
the collection
and
if
another physical
is a
member
of
the collection
,
then
the other physical
is an
instance
of
process
and there exist
another experimenting
and
the other physical
ESS such that
the other experimenting
is an
instance
of
experimenting
and
the other physical
is a
member
of
events
in
the other experimenting
and
the other physical
is an
instance
of
the other physical
ESS and
the human
is
capable
of doing
the other physical
ESS as a
experiencer
,
then all the processes
the human
is
qualified
for is
equal
to
the collection
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
