not
(=>
(
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
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
Objet
est une
instance
de
Antidiuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
interval temporel
est
interval temporel
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
(=>
(
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
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processus
est une
instance
de
detacher
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
objectDetached
processus
and
entit�
objectDetached
processus
and
entit�
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
Processus
est une
instance
de
DefensiveInformationOperation
processus
est un
agent
de
agent cognitif
enemy
agent cognitif
and
agent cognitif
agent cognitif
desire
agent cognitif
conna
�t
entit�
agent cognitif
desire
agent cognitif
ne
conna
�t %n{pas}
entit�
processus
a pour
but
agent cognitif
ne
conna
�t %n{pas}
entit�
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1893-1900
Election
est une
instance
de
PopularElection
electionWinner
Election
,
r�le social
and
AutonomousAgent
voteFractionReceived
Election
,
r�le social
,
AutonomousAgent
and
nombre r�el
voteFractionReceived
Election
,
r�le social
,
AutonomousAgent
and
nombre r�el
AutonomousAgent
est
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
Objet
est une
instance
de
substance �l�mentaire
objet
est une
instance
de
substance �l�mentaire
objet
est
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
entit�
est une
instance
de
substance compos�e
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
Entit�
est une
instance
de
Electromagnet
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Electricity
objectTransferred
entit�
and
entit�
entit�
est le
chemin
le long duquel
entit�
se produit
pendant
entit�
1
entit�
entit�
est une
instance
de
Magnetism
entit�
est un
instrument
pour
entit�
pendant
entit�
1
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5630-5650
Graph
est une
instance
de
graph
noeud du graph
est une
instance
de
noeud du graph
noeud du graph
est une
instance
de
noeud du graph
noeud du graph
est une
partie
de
graph
noeud du graph
est une
partie
de
graph
noeud du graph
est
noeud du graph
arc du graph
chemin du graph
arc du graph
lie
noeud du graph
et
noeud du graph
chemin du graph
est un
sous
-graph de
graph
chemin du graph
est une
instance
de
chemin du graph
le
commencement
de
chemin du graph
est
noeud du graph
la
fin
de
chemin du graph
est
noeud du graph
le
commencement
de
chemin du graph
est
noeud du graph
la
fin
de
chemin du graph
est
noeud du graph
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
GUIElement
est une
instance
de
GUIElement
GUIElement
est une
instance
de
GUIElement
GUIElement
est une
instance
de
InterfaceWindow
GUIElement
est une
instance
de
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
est une
partie
de
GUIElement
GUIElement
est une
partie
de
GUIElement
GUIElement
est
GUIElement
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Appareil
est une
instance
de
Gun
unit� de mesure
est une
instance
de
UnitOfLength
effectiveRange
appareil
and
nombre r�el
unit� de mesure
(s) la
distance
entre
appareil
et
objet
est
nombre r�el
1
unit� de mesure
(s)
objet
est une
instance
de
organisme
objet
2
objet
2 est
entre
objet
et
appareil
nombre r�el
1 est plus
petit
ou �gal �
nombre r�el
cha�ne sympbolique
appareil
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Appareil
est une
instance
de
Gun
unit� de mesure
est une
instance
de
UnitOfLength
effectiveRange
appareil
and
nombre r�el
unit� de mesure
(s) la
distance
entre
appareil
et
objet
est
nombre r�el
1
unit� de mesure
(s)
objet
2
objet
2 est
entre
objet
et
appareil
nombre r�el
1 est plus
petit
ou �gal �
nombre r�el
cha�ne sympbolique
appareil
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
Objet
est une
instance
de
primate
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
Foot
objet
est une
instance
de
Foot
objet
est
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
Objet
est une
instance
de
primate
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
Leg
objet
est une
instance
de
Leg
objet
est
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
Objet
est une
instance
de
primate
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
Lung
objet
est une
instance
de
Lung
objet
est
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
Objet en une partie
est une
instance
de
Isthmus
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
est
objet en une partie
objet
objet
,
objet
and
objet
objet
est une
instance
de
zone de terre
objet
est une
instance
de
zone de terre
objet en une partie
est
entre
objet
et
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet en une partie
rencontre
objet
objet en une partie
rencontre
objet
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization
organisation
organisation
est
organisation
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
(=>
(
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
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
Objet
est une
instance
de
objet
LongAndThin
est un
attribut
de
objet
objet
est une
instance
de
objet
LongAndThin
est un
attribut
de
objet
objet
est
connect
� �
objet
objet
est
objet
nombre r�el
relativeAngle
objet
,
objet
and
nombre r�el
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
Objet
est une
instance
de
continent
objet
est
Antarctica
Antarctica
est
South
�
objet
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
Liste
est une
instance
de
liste
liste
est
NullList
FirstFn
liste
est
liste
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
Processus
est une
instance
de
OrganizationalMerging
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
entit�
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
est une
instance
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
PreparedFood
physique
est une
instance
de
classe
physique
est une
instance
de
entit�
physique
est
physique
price
physique
,
mesure de devise
and
AutonomousAgent
price
physique
,
mesure de devise
and
AutonomousAgent
mesure de devise
est
mesure de devise
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
Substance
est une
instance
de
mixture
substance
est une
pi
�ce de
substance
substance
est une
instance
de
mixture
substance
est une
instance
de
substance pure
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