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
Collection
est une
instance
de
Club
agent cognitif
est un
membre
de
collection
agent cognitif
est un
membre
de
collection
formule
agent cognitif
desire
formule
agent cognitif
desire
formule
(=>
(
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
financial transaction
cha�ne sympbolique
entit�
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
BoughtItemsFn
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
WebListing
le nombre d'
instances
dans
entit�
entit�
and
entit�
la
classe
d�crite par
entit�
+ le nombre d'
instances
dans
collection
est
BidCountFn
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
WebListing
cha�ne sympbolique
entit�
,
entit�
and
cha�ne sympbolique
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
BidCountFn
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
Collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
point temporel
est une
instance
de
point temporel
listingSeller
WebListing
and
AutonomousAgent
WebListing
est un
membre
de
collection
physique
physique
physique
est une
instance
de
WebListing
physique
est un
membre
de
SellersItemsFn
AutonomousAgent
and
WebSite
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est
WebListing
physique
est un
membre
de
collection
physique
est un
membre
de
collection
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est une
instance
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
point temporel
est
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
Collection
est une
instance
de
collection
memberType
collection
and
Chromosome
objet
est un
membre
de
collection
objet
est une
partie
de
CommonWheatGrass
collection
collection
,
objet
and
objet
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
objet
initialPart
objet
and
EmmerWheatGrass
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
objet
initialPart
objet
and
AegilopsTauschii
(=>
(
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
Collection
est une
instance
de
collection
memberType
collection
and
Chromosome
objet
est un
membre
de
collection
objet
est une
partie
de
DurumWheatGrass
collection
collection
,
objet
and
objet
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
objet
initialPart
objet
and
TriticumUrartu
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
objet
initialPart
objet
and
AegilopsSpeltoides
(=>
(
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
Collection
est une
instance
de
collection
memberType
collection
and
Chromosome
objet
est un
membre
de
collection
objet
est une
partie
de
EmmerWheatGrass
collection
collection
,
objet
and
objet
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
objet
initialPart
objet
and
EinkornWheatGrass
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
objet
initialPart
objet
and
AegilopsGrass
(=>
(
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
Collection
est une
instance
de
MonoploidChromosomeSet
memberType
collection
and
Chromosome
collection
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
EukaryoticCell
Chromosome
est un
membre
de
collection
Chromosome
est un
membre
de
collection
Chromosome
est
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
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
Objet
est une
instance
de
substance compos�e
substance compos�e
est une
sous
-classe de
substance compos�e
objet
objet
est une
instance
de
substance compos�e
objet
est une
partie
de
objet
molecularRatio
substance �l�mentaire
,
nombre entier
and
substance compos�e
collection
est une
instance
de
groupe
objet
est un
membre
de
collection
objet
est une
partie
de
objet
objet
est une
instance
de
substance �l�mentaire
memberCount
collection
and
nombre entier
(=>
(
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
Processus
est une
instance
de
Demonstration
processus
est un
agent
de
AutonomousAgent
agent cognitif
est un
membre
de
AutonomousAgent
agent cognitif
est un
membre
de
AutonomousAgent
formule
agent cognitif
croit
formule
agent cognitif
croit
formule
(=>
(
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
Collection
est une
instance
de
Eyebrow
Healthy
est un
attribut
de
objet
collection
est une
partie
de
objet
physique
est un
membre
de
collection
objet
AIR
objet
AIR est une
instance
de
Hair
objet
AIR est une
partie
de
collection
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
Collection
est une
instance
de
Eyebrow
Healthy
est un
attribut
de
objet
collection
est une
partie
de
objet
physique
est un
membre
de
collection
memberCount
collection
and 2
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
Collection
est une
instance
de
ComputerDirectory
physique
est un
membre
de
collection
physique
est une
instance
de
ComputerFile
(=>
(
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
Collection
est une
instance
de
MilitaryForce
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
Imprisoning
AutonomousAgent
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
processus
and
objet
WarState
est un
attribut
de
objet
PrisonerOfWar
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
Collection
est une
instance
de
FileSystem
physique
est un
membre
de
collection
physique
est une
instance
de
ComputerFile
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1061-1065
Collection
est une
instance
de
GolgiApparatus
physique
est un
membre
de
collection
physique
est une
instance
de
CellPart
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1084-1088
Collection
est une
instance
de
CellInternalMembraneGroup
physique
est un
membre
de
collection
physique
est une
instance
de
CellMembraneInternal
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18814-18820
Entit�
est une
instance
de
DramaticCast
entit�
est un
membre
de
entit�
pendant
position temporel
Actor
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16228-16232
Collection
est une
instance
de
groupe
physique
est un
membre
de
collection
physique
est une
instance
de
AutonomousAgent
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16238-16242
Collection
est une
instance
de
GroupOfPeople
physique
est un
membre
de
collection
physique
est une
instance
de
humain
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
Entit�
est une
instance
de
MusicalGroup
entit�
est un
membre
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
Musician
entit�
est un
attribut
de
entit�
pendant
position temporel
(=>
(
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
Collection
est une
instance
de
GroupOfPeople
agent cognitif
est un
membre
de
collection
physique
est un
membre
de
collection
physique
est une
instance
de
HumanBaby
agent cognitif
est une
instance
de
HumanAdult
entit�
est une
instance
de
Crib
agent cognitif
est
interess
� par
entit�
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7023-7027
Collection
est une
instance
de
SportsLeague
physique
est un
membre
de
collection
physique
est une
instance
de
SportsTeam
(=>
(
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
Processus
est une
instance
de
LargeGroupProcess
collection
est une
instance
de
collection
physique
est un
membre
de
collection
involvedInEvent
processus
and
physique
memberCount
collection
and
nombre entier
nombre entier
est
plus
grand
que 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