member
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 944-952
If
a collection
is an
instance
of
club
and
a cognitive agent
is a
member
of
the collection
and
another cognitive agent
is a
member
of
the collection
,
then there exists
a formula
such that
the cognitive agent
desire
s
the formula
and
the other cognitive agent
desire
s
the formula
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
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
financial transaction
,
then there exist
a symbolic string
and
an entity
such that the number of
instances
in the
class
described by
the symbolic string
is
equal
to number of items
purchased
in
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
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
web listing
,
then the number of
instances
in there exist
an entity
,
another entity
and
a third entity
such that the
class
described by
the entity
and the number of
instances
in
the collection
is
equal
to number of
bids
in
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
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
web listing
,
then there exist
a symbolic string
,
an entity
,, ,
another entity
and
the symbolic string
such that the number of
instances
in the
class
described by
the symbolic string
is
equal
to number of
bids
in
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
If
a collection
is an
instance
of
collection
and
a web site
is an
instance
of
web site
and
an agent
is an
instance
of
agent
and
a web listing
is an
instance
of
web listing
and
a time point
is an
instance
of
time point
and
the agent
sells
the web listing
and
the web listing
is not a
member
of
the collection
and for all
a physical
and
another physical
if
the physical
is an
instance
of
web listing
and
the physical
is a
member
of items for
sale
by
the agent
at
the web site
and
the time point
is a
part
of the
time
of existence of
the physical
and
the physical
is not
equal
to
the web listing
,
then
the physical
is a
member
of
the collection
and
if
the other physical
is a
member
of
the collection
,
then
the time point
is a
part
of the
time
of existence of
the physical
and
the other physical
is an
instance
of
web listing
,
then things for
sale
by
the agent
not listed in
the web listing
at
the web site
during
the time point
is
equal
to
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
common wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
emmer wheat grass
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops Tauschii
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
durum wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
Triticum urartu
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops Speltoides
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
emmer wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
einkorn wheat grass
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops grass
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
If
a collection
is an
instance
of
monoploid chromosome set
and
Chromosome
is a
member
type of
the collection
and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
eukaryotic cell
and
a Chromosome
is a
member
of
the collection
and
another Chromosome
is a
member
of
the collection
and
the Chromosome
is not
equal
to
the other Chromosome
,
then not
the Chromosome
in
the other Chromosome
are
homologousChromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
If
an object
is an
instance
of
a kind of compound substance
and
a kind of compound substance
is a
subclass
of
compound substance
and there doesn't exist
another object
such that
the other object
is an
instance
of
the kind of compound substance
and
the other object
is a
part
of
the object
and the number of molecules of
a kind of elemental substance
in a molecule of
the kind of compound substance
is
an integer
and
a collection
is an
instance
of
group
and
a third object
is a
member
of
the collection
and
the third object
is a
part
of
the object
and
the third object
is an
instance
of
a kind of elemental substance
,
then
the integer
is a
member
count of
the collection
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2673-2682
If
a process
is an
instance
of
demonstration
and
an agent
is an
agent
of
the process
and
a cognitive agent
is a
member
of
the agent
and
another cognitive agent
is a
member
of
the agent
,
then there exists
a formula
such that
the cognitive agent
believe
s
the formula
and
the other cognitive agent
believe
s
the formula
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
If
a collection
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
an object
and
the collection
is a
part
of
the object
and
a physical
is a
member
of
the collection
,
then there exists
the object
AIR such that
the object
AIR is an
instance
of
hair
and
the object
AIR is a
part
of
the collection
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
If
a collection
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
an object
and
the collection
is a
part
of
the object
and
a physical
is a
member
of
the collection
,
then 2 is a
member
count of
the collection
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
If
a collection
is an
instance
of
computer directory
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
computer file
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
If
a collection
is an
instance
of
military force
and
an agent
is an
instance
of
human
and
a process
is an
instance
of
imprisoning
and
the agent
is a
member
of
the collection
and
another agent
is an
agent
of
the process
and
the agent
is a
patient
of
the process
and
the other agent
and
the agent
are enemies of each other and
the process
is
located
at
an object
and
war state
is an
attribute
of
the object
,
then
prisoner of war
is an
attribute
of
the agent
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
If
a collection
is an
instance
of
file system
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
computer file
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1061-1065
If
a collection
is an
instance
of
golgi apparatus
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
cell part
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1084-1088
If
a collection
is an
instance
of
cell internal membrane group
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
internal cell membrane
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18814-18820
If
an entity
is an
instance
of
dramatic cast
and
another entity
is a
member
of
the entity
holds
during
a time position
,
then
actor
is an
attribute
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16228-16232
If
a collection
is an
instance
of
group
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16238-16242
If
a collection
is an
instance
of
group of people
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
human
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
If
an entity
is an
instance
of
musical group
and
another entity
is a
member
of
the entity
holds
during
a time position
,
then there exists
a third entity
such that
the third entity
is an
instance
of
musician
and
the third entity
is an
attribute
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?GRP
GroupOfPeople
)
(
member
?ADULT ?GRP)
(
member
?BABY ?GRP)
(
instance
?BABY
HumanBaby
)
(
instance
?ADULT
HumanAdult
)
(
instance
?CRIB
Crib
))
(
inScopeOfInterest
?ADULT ?CRIB))
Hotel.kif 1270-1278
If
a collection
is an
instance
of
group of people
and
a cognitive agent
is a
member
of
the collection
and
a physical
is a
member
of
the collection
and
the physical
is an
instance
of
human baby
and
the cognitive agent
is an
instance
of
human adult
and
an entity
is an
instance
of
crib
,
then
the cognitive agent
is
interested
in
the entity
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7023-7027
If
a collection
is an
instance
of
sports league
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
sports team
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
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
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