located
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 921-931
Objet
est une
instance
de
TriploidCell
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
objet
collection
est
situ
� �
objet
collection
est une
instance
de
collection
memberType
collection
and
Chromosome
MonoploidChromosomeSet
est une
instance
de
MonoploidChromosomeSet
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
chromosomeSetCount
MonoploidChromosomeSet
,
collection
and 3
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 939-949
Collection
est une
instance
de
collection
memberType
collection
and
Chromosome
MonoploidChromosomeSet
est une
instance
de
MonoploidChromosomeSet
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
chromosomeSetCount
MonoploidChromosomeSet
,
collection
and 4
collection
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
objet
objet
est une
instance
de
TetraploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 992-1002
Collection
est une
instance
de
collection
memberType
collection
and
Chromosome
MonoploidChromosomeSet
est une
instance
de
MonoploidChromosomeSet
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
chromosomeSetCount
MonoploidChromosomeSet
,
collection
and 6
collection
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
objet
objet
est une
instance
de
HexaploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 896-905
Collection
est une
instance
de
collection
memberType
collection
and
Chromosome
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
chromosomeSetCount
MonoploidChromosomeSet
,
collection
and 2
collection
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
objet
objet
est une
instance
de
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 907-913
Physique
est une
instance
de
HomologousChromosomeSet
physique
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
objet
objet
est une
instance
de
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 866-875
Collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
Chromosome
collection
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
EukaryoticCell
MonoploidChromosomeSet
est une
instance
de
MonoploidChromosomeSet
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
chromosomeSetCount
MonoploidChromosomeSet
,
collection
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
Collection
est une
instance
de
HomologousChromosomeSet
memberType
collection
and
Chromosome
collection
est
situ
� �
objet
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
EukaryoticCell
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
MonoploidChromosomeSet
est une
sous
-collection appartenant �
collection
MonoploidChromosomeSet
est
MonoploidChromosomeSet
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
(=>
(
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
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
Processus
est une
instance
de
DeliveryService
processus
aboutit
�
entit�
deliveryRegion
AutonomousAgent
and
secteur g�ographique
la
probabilit
� de
entit�
est
situ
� �
secteur g�ographique
pourvu que
processus
est un
agent
de
AutonomousAgent
vaut
nombre r�el
la
probabilit
� de
entit�
est
situ
� �
secteur g�ographique
pourvu que
processus
est un
agent
de
AutonomousAgent
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
Processus
est une
instance
de
Discovering
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
processus
processus
est une
instance
de
apprendre
processus
est un
sous
-processus de
processus
entit�
est
situ
� �
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
Crankcase
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeTransfer
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeIntake
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
le
d
�but de
temps
d'existence de
processus
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique sous-division g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
physique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
physique
pendant
la
fin
de
temps
d'existence de
processus
physique
est
situ
� �
objet
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
Objet
est une
instance
de
Faucet
processus
est une
instance
de
LiquidMotion
entit�
est un
patient
de
processus
processus
est
situ
� �
objet
entit�
entit�
est une
instance
de
Tube
entit�
contient
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?FR
FlowRegion
)
(
located
?FLUID ?FR))
(
attribute
?FLUID
Fluid
))
Mid-level-ontology.kif 9061-9065
Objet
est une
instance
de
FlowRegion
objet
est
situ
� �
objet
Fluid
est un
attribut
de
objet
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
Objet
est une
instance
de
Gene
objet
est
situ
� �
objet
objet
est une
instance
de
cellule
processus
objet
and
objet
processus
est une
instance
de
processus biologique
eventLocated
processus
and
objet
processus
a pour
origine
objet
objet
est le
resultat
de
processus
objet
est une
instance
de
Nucleotide
objet
est une
partie
de
objet
objet
est une
instance
de
RNAMolecule
objet
est
situ
� �
objet
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
Processus
est une
instance
de
Hurricane
eventLocated
processus
and
objet
objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
objet
rencontre
objet
objet
est
NortheasternPacificOcean
objet
est
NorthAtlanticOcean
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
Physique
est une
instance
de
HeartAttack
objet
est une
instance
de
Heart
physique
est
situ
� �
objet
objet
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
interval temporel
objet
interval temporel
est une
instance
de
LiquidMotion
objectTransferred
interval temporel
and
objet
objet
est une
instance
de
sang
interval temporel
prend place
pendant
temps
d'existence de
physique
interval temporel
aboutit
�
objet
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
Physique
est une
instance
de
Stroke
objet
est une
instance
de
Brain
physique
est
situ
� �
objet
objet
objet
est une
instance
de
NerveCell
objet
est une
partie
de
objet
interval temporel
objet
interval temporel
est une
instance
de
LiquidMotion
objectTransferred
interval temporel
and
objet
objet
est une
instance
de
sang
interval temporel
prend place
pendant
temps
d'existence de
physique
interval temporel
aboutit
�
objet
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Transf�re
est une
instance
de
Injecting
objet
est une
instance
de
Adalimumab
objectTransferred
transf�re
and
objet
transf�re
est
situ
� �
objet
objet
est une
instance
de
partie du corps
transf�re
aboutit
�
entit�
l'argument
entit�
PainFn
objet
est un
attribut
de
entit�
pendant
entit�
entit�
prend place
pendant
apr
�s
temps
d'existence de
transf�re
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
Processus
est une
instance
de
Itching
processus
est
situ
� �
objet
objet
est une
partie
de
agent cognitif
agent cognitif
exp
�rimente
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
Scratching
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
entit�
est
situ
� �
objet
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
Physique
est une
instance
de
KnockLight
physique
est
situ
� �
objet
objet
est une
instance
de
pi�ce
objet
est une
instance
de
Door
objet
est une
partie
de
objet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
impacte
objet
est un
patient
de
entit�
entit�
cause
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
est une
instance
de
RadiatingVisibleLight
physique
est un
instrument
pour
entit�
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Objet
est une
instance
de
Lever
processus
est une
instance
de
Pushing
physique
est une
instance
de
d�palcement
unit� de mesure
est une
instance
de
UnitOfLength
processus
aboutit
�
objet
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
est
situ
� �
processus
1
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
2
pendant
immediatement
apr
�s
temps
d'existence de
physique
objet
est
situ
� �
processus
3
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
4
pendant
immediatement
apr
�s
temps
d'existence de
physique
la
distance
entre
processus
1 et
processus
2 est
nombre r�el
unit� de mesure
(s) la
distance
entre
processus
3 et
processus
4 est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
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