not
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
Nombre entier
reste
nombre entier
est
nombre entier
nombre entier
est
nombre entier
est
nombre entier
est
signe
de
nombre entier
est
signe
de
nombre entier
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
Nombre entier
reste
nombre entier
est
nombre entier
nombre entier
est
plus
grand
nombre entier inf�rieur ou �gal �
nombre entier
+
nombre entier
+
nombre entier
+
nombre entier
) est
nombre entier
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Organisation
est
DepartmentOfFn
organisation
and
physique
organisation
2 est une partie de l'organization
organisation
organisation
est
organisation
2
entit�
est une
instance
de
physique
organisation
est
interess
� par
entit�
nombre r�el
est
probabilit
� de
entit�
est un
agent
de
organisation
entit�
2 est
probabilit
� de
entit�
est un
agent
de
organisation
2
nombre r�el
est
plus
grand
que
entit�
2
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2636-2644
Objet
est
LineFn
objet
and
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
objet
2 est
LineFn
objet
and
objet
objet
2 est une
partie
de
objet
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
Liste
est
liste
compos�e de
liste
et
liste
liste
est
NullList
liste
est
NullList
nombre entier positif
est plus
petit
ou �gal �
longueur
de
liste
nombre entier positif
est plus
petit
ou �gal �
longueur
de
liste
nombre entier positif
est une
instance
de
nombre entier positif
nombre entier positif
est une
instance
de
nombre entier positif
nombre entier positif
th
liste
est
nombre entier positif
th
liste
(
longueur
de
liste
+
nombre entier positif
)th
liste
est
nombre entier positif
th
liste
(=>
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))
(
instance
?GRAPH
MultiGraph
))
Merge.kif 5790-5799
Arc du graph
est une
partie
de
graph
arc du graph
est une
partie
de
graph
noeud du graph
est une
partie
de
graph
noeud du graph
est une
partie
de
graph
arc du graph
lie
noeud du graph
et
noeud du graph
arc du graph
lie
noeud du graph
et
noeud du graph
arc du graph
est
arc du graph
graph
est une
instance
de
multi graph
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
�lement du graph
Est une
partie
de
graph
graph
est une
instance
de
graph dirig�e
�lement du graph
est une
instance
de l'
ensemble
de chemin entre
noeud du graph
et
noeud du graph
�lement du graph
est une
instance
de l'
ensemble
de chemin entre
noeud du graph
et
noeud du graph
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
agent cognitif
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
agent cognitif
ne
conna
�t %n{pas}
password
ComputerPassword
and
UserAccount
agent cognitif
conna
�t
recoveryKey
entit�
and
UserAccount
agent cognitif
poss
�de
Computer
l'argument
entit�
entit�
est une
instance
de
ChangingPassword
UserAccount
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Possibility
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
est une
instance
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
est
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processus
est une
instance
de
Ambulating
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Stepping
processus
START est
d
�but de
temps
d'existence de
processus
processus
START est
d
�but de
temps
d'existence de
processus
processus
START se produit
avant
processus
START
processus
START se produit
avant
processus
START
processus
est
processus
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectAttached
processus
and
entit�
objectAttached
processus
and
entit�
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
est une
instance
de
Automobile
PhysicalSystem
est une
instance
de
Automobile
objet
est une
instance
de
AutomobileShock
objet
est une
partie
de
PhysicalSystem
objet
objet
est une
instance
de
AutomobileShock
objet
est une
partie
de
PhysicalSystem
dampingRatio
PhysicalSystem
and
nombre r�el
dampingRatio
PhysicalSystem
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
est une
instance
de
AutonomousAgent
potentialCustomer
agent cognitif
and
AutonomousAgent
l'argument
entit�
est une
instance
de
Reserving
entit�
aboutit
�
AutonomousAgent
a la
force
modale
de
Necessity
la
probabilit
� de
entit�
ES1
entit�
ES1 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES1
fulfillingEntity
AutonomousAgent
and
entit�
ES1 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
la
probabilit
� de
entit�
ES2
entit�
ES2 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES2
fulfillingEntity
AutonomousAgent
and
entit�
ES2 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
AutonomousAgent
est une
instance
de
animal
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
AutonomousAgent
transf�re
objet
transf�re
est une
instance
de
processus biologique
transf�re
est une
instance
de
supprimer
transf�re
a pour
origine
AutonomousAgent
objet
est une
instance
de
Sewage
transf�re
est un
agent
de
AutonomousAgent
objectTransferred
transf�re
and
objet
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5016-5025
Objet
est une
instance
de
Bubble
objet
attribut
attribut
est un
attribut
de
objet
objet
est
Gas
objet
rencontre
objet
ConvexRoundShape
est un
attribut
de
objet
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
Objet
est une
instance
de
BimetalTemperatureSensor
objet
est une
instance
de
m�tal
objet
est une
instance
de
m�tal
objet
est
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
entit�
est une
instance
de
mesure de temperature
entit�
est une
instance
de
mesure de temperature
nombre r�el
est une
instance
de
mesure de longueur
nombre r�el
est une
instance
de
mesure de longueur
nombre r�el
est une
instance
de
mesure de longueur
nombre r�el
est une
instance
de
mesure de longueur
entit�
est
entit�
position temporel
est
position temporel
la
mesure
de
objet
est
entit�
la
mesure
de
objet
est
nombre r�el
la
mesure
de
objet
est
nombre r�el
pendant
position temporel
la
mesure
de
objet
est
entit�
la
mesure
de
objet
est
nombre r�el
la
mesure
de
objet
est
nombre r�el
pendant
position temporel
nombre r�el
+
nombre r�el
est
nombre r�el
+
nombre r�el
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
Collection
est une
instance
de
Convoy
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est
AutonomousAgent
processus
processus
and
entit�
processus
est une
instance
de
transporter
processus
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
processus
aboutit
�
entit�
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Objet
est une
instance
de
Crystal
MonoCrystalline
est un
attribut
de
objet
objet en une partie
est une
instance
de
substance
Solid
est un
attribut
de
objet en une partie
PolyCrystalline
est un
attribut
de
objet en une partie
objet en une partie
est une
instance
de
substance
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
LNT
nombre entier
and
objet
objet
LNT est une
instance
de
collection
memberCount
objet
LNT and
nombre entier
nombre entier
est
plus
grand
ou �gal � 4
objet
est un
membre
de
objet
LNT
objet
est une
partie
de
objet en une partie
objet
rencontre
objet
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Processus
est une
instance
de
InPersonCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
AutonomousAgent
est
Near
�
AutonomousAgent
pendant
processus
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entit�
est une
instance
de
COVIDAntibody
Covid19
est un
attribut
de
entit�
entit�
est une
partie
de
entit�
pendant
position temporel
l'argument
Covid19
est un
attribut
de
entit�
a la
force
modale
de
Unlikely
pendant
immediatement
apr
�s
position temporel
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Objet
est une
instance
de
ComputerCable
objet
est une
instance
de
Cable
objet
est une
partie
de
objet
objet
est une
instance
de
MaleConnector
objet
est une
instance
de
FemaleConnector
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
Secteur g�opolitique
est une
instance
de
AmericanCity
secteur g�opolitique
est une
partie
de
California
secteur g�opolitique
est
LosAngelesCalifornia
le nombre d'
instances
dans
ResidentFn
LosAngelesCalifornia
est
plus
grand
que le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
(=>
(
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
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
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