member
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 9107-9114
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
and
an integer
is a
member
count of
the collection
,
then
the integer
is
greater
than 10
(=>
(
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 9116-9125
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 1737-1752
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 8962-8966
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 71-87
If
a process
is an
instance
of
bar mitzvah
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
of month the
month
a kind of month
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
equal
the integer
and (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
of month the
month
a kind of month
and
equal
the
time
of existence of
the process
and 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 102-118
If
a process
is an
instance
of
bat mitzvah
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
of month the
month
a kind of month
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
equal
the integer
and (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
of month the
month
a kind of month
and
equal
the
time
of existence of
the process
and 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 1809-1819
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 161-174
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
appointed position
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 24111-24116
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 16806-16810
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 2492-2496
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 2224-2230
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
equal
the
value
of
the collection
and
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
equal
the
value
of
the collection
and
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
equal
the real number
and the
value
of
the collection
and
equal
the integer
and the number of
instances
in the
class
described by
a symbolic string
,
then
equal
the
average
selling
price
of
the collection
and
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 6243-6251
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 24639-24647
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
equal
the government
and
an agent
and
equal
the government
and not 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 12830-12839
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
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
