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
InsiemeConcreto
è un'
istanza
di
Club
AgenteCognitivo
è un
membro
di
InsiemeConcreto
AgenteCognitivo
è un
membro
di
InsiemeConcreto
Formula
AgenteCognitivo
desidera
s
Formula
AgenteCognitivo
desidera
s
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
Stringa
Entit�
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
BoughtItemsFn
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
il numero di
istanzia
in
Entit�
Entit�
and
Entit�
la
classe
descritta da
Entit�
+ il numero di
istanzia
in
InsiemeConcreto
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
Stringa
Entit�
,
Entit�
and
Stringa
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
WebListing
PuntoTemporale
è un'
istanza
di
PuntoTemporale
listingSeller
WebListing
and
AutonomousAgent
WebListing
è un
membro
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
Entit�Concreta
è un
membro
di
SellersItemsFn
AutonomousAgent
and
WebSite
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
is
uguale
a
WebListing
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
PuntoTemporale
is
uguale
a
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
CommonWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
EmmerWheatGrass
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
DurumWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
TriticumUrartu
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
EmmerWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
EinkornWheatGrass
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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 718-730
InsiemeConcreto
è un'
istanza
di
MonoploidChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
Chromosome
è un
membro
di
InsiemeConcreto
Chromosome
è un
membro
di
InsiemeConcreto
Chromosome
is
uguale
a
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 1778-1792
Oggetto
è un'
istanza
di
Composto
Composto
è una
sottoclasse
di
Composto
Oggetto
Oggetto
è un'
istanza
di
Composto
Oggetto
è una
parte
di
Oggetto
molecularRatio
SostanzaElementare
,
NumeroIntero
and
Composto
InsiemeConcreto
è un'
istanza
di
Gruppo
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
SostanzaElementare
memberCount
InsiemeConcreto
and
NumeroIntero
(=>
(
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
Processo
è un'
istanza
di
Demonstration
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
membro
di
AutonomousAgent
AgenteCognitivo
è un
membro
di
AutonomousAgent
Formula
AgenteCognitivo
crede
s
Formula
AgenteCognitivo
crede
s
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
InsiemeConcreto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
InsiemeConcreto
è una
parte
di
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
AIR
Oggetto
AIR è un'
istanza
di
Hair
Oggetto
AIR è una
parte
di
InsiemeConcreto
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
InsiemeConcreto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
InsiemeConcreto
è una
parte
di
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and 2
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
InsiemeConcreto
è un'
istanza
di
ComputerDirectory
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
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
InsiemeConcreto
è un'
istanza
di
MilitaryForce
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Imprisoning
AutonomousAgent
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un
paziente
di
Processo
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
Processo
and
Oggetto
attribute
Oggetto
and
WarState
attribute
AutonomousAgent
and
PrisonerOfWar
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
InsiemeConcreto
è un'
istanza
di
FileSystem
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
ComputerFile
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1060-1064
InsiemeConcreto
è un'
istanza
di
GolgiApparatus
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
CellPart
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1083-1087
InsiemeConcreto
è un'
istanza
di
CellInternalMembraneGroup
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
CellMembraneInternal
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18813-18819
Entit�
è un'
istanza
di
DramaticCast
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
attribute
Entit�
and
Actor
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16250-16254
InsiemeConcreto
è un'
istanza
di
Gruppo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AutonomousAgent
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16260-16264
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Umano
(=>
(
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�
è un'
istanza
di
MusicalGroup
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Musician
attribute
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
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
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
AgenteCognitivo
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
HumanBaby
AgenteCognitivo
è un'
istanza
di
HumanAdult
Entit�
è un'
istanza
di
Crib
AgenteCognitivo
è
interessato
a
Entit�
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7022-7026
InsiemeConcreto
è un'
istanza
di
SportsLeague
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
SportsTeam
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7939-7946
Processo
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
involvedInEvent
Processo
and
Entit�Concreta
memberCount
InsiemeConcreto
and
NumeroIntero
NumeroIntero
è
pi
ù grande di 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