subclass
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
Plante
est
PlantFn
TamarindFruit
plante
est une
sous
-classe de
BotanicalTree
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
Plante
est
PlantFn
WineGrape
plante
est une
sous
-classe de
GrapeVine
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
Plante
est
PlantFn
CommonWheatGrain
plante
est une
sous
-classe de
CommonWheatGrass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
Plante
est
PlantFn
DurumWheatGrain
plante
est une
sous
-classe de
DurumWheatGrass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
Plante
est
PlantFn
EinkornWheatGrain
plante
est une
sous
-classe de
EinkornWheatGrass
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
Plante
est
PlantFn
EmmerWheatGrain
plante
est une
sous
-classe de
EmmerWheatGrass
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
Plante
est
PlantFn
SpeltWheatGrain
plante
est une
sous
-classe de
SpeltWheatGrass
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3203-3205
groupingTitle
cha�ne sympbolique
,
classe
and
langage
classe
est une
sous
-classe de
collection
(=>
(
habitatOfOrganism
?O ?L)
(
not
(
subclass
?O
DomesticAnimal
)))
Mid-level-ontology.kif 30385-30388
habitatOfOrganism
organisme
and
secteur g�ographique
organisme
est une
sous
-classe de
DomesticAnimal
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
Entit�
est une
instance
imm�diate de
classe
classe
classe
est une
sous
-classe de
classe
classe
est
classe
entit�
est une
instance
de
classe
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
Classe
est une
sous
-classe imm�diate de
classe
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
classe
est
classe
classe
est
classe
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16980-16985
Objet
est une
instance
de
GameArtifact
processus
processus
est une
sous
-classe de
jeu
objet
est
capable
de faire
processus
dans le r�le
instrument
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Physique
est une
instance
de
Iceberg
classe
classe
est une
sous
-classe de
Glacier
classe
est
fait
de
physique
pendant
immediatement
avant
temps
d'existence de
physique
(=>
(
instance
?C
ElectricalConductor
)
(
exists
(?S)
(
and
(
subclass
?S
ConductorSubstance
)
(
material
?S ?C))))
engineering.kif 826-831
Objet corpusculaire
est une
instance
de
ElectricalConductor
substance
substance
est une
sous
-classe de
ConductorSubstance
substance
est
fait
de
objet corpusculaire
(=>
(
instance
?CF
CharcoalFilter
)
(
exists
(?C)
(
and
(
subclass
?C
Charcoal
)
(
material
?C ?CF))))
Cars.kif 1694-1699
Objet corpusculaire
est une
instance
de
CharcoalFilter
substance
substance
est une
sous
-classe de
Charcoal
substance
est
fait
de
objet corpusculaire
(=>
(
instance
?CLASS
Class
)
(
subclass
?CLASS
Entity
))
Merge.kif 828-830
Classe
est une
instance
de
classe
classe
est une
sous
-classe de
entit�
(=>
(
instance
?CO
CounterOperation
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
MilitaryOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2174-2184
Physique
est une
instance
de
CounterOperation
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
physique
est un
agent
de
entit�
enemy
entit�
and
entit�
entit�
est une
sous
-classe de
MilitaryOperation
entit�
est une
instance
de
entit�
entit�
est un
agent
de
entit�
physique
previent
l'occurrence de
entit�
(=>
(
instance
?CO
CounterReconnaissance
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
ReconnaissanceOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2193-2203
Physique
est une
instance
de
CounterReconnaissance
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
physique
est un
agent
de
entit�
enemy
entit�
and
entit�
entit�
est une
sous
-classe de
ReconnaissanceOperation
entit�
est une
instance
de
entit�
entit�
est un
agent
de
entit�
physique
previent
l'occurrence de
entit�
(=>
(
instance
?CO
CounterTerrorism
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
Terrorism
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2032-2042
Physique
est une
instance
de
CounterTerrorism
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
physique
est un
agent
de
entit�
enemy
entit�
and
entit�
entit�
est une
sous
-classe de
Terrorism
entit�
est une
instance
de
entit�
entit�
est un
agent
de
entit�
physique
previent
l'occurrence de
entit�
(=>
(
instance
?COIN
CurrencyCoin
)
(
exists
(?METAL)
(
and
(
subclass
?METAL
Metal
)
(
material
?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
Objet corpusculaire
est une
instance
de
CurrencyCoin
substance
substance
est une
sous
-classe de
m�tal
substance
est
fait
de
objet corpusculaire
(=>
(
instance
?GRAPH
Graph
)
(
subclass
(
MinimalCutSetFn
?GRAPH)
(
CutSetFn
?GRAPH)))
Merge.kif 6087-6089
Graph
est une
instance
de
graph
l'
ensemble
minimal de chemins qui partitionnent
graph
en deux graph s�par� est une
sous
-classe de l'
ensemble
de chemins qui partitionnent
graph
en deux graph s�par�
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
Objet corpusculaire
est une
instance
de
ResistorElement
substance
substance
est une
sous
-classe de
InsulatorSubstance
substance
est
fait
de
objet corpusculaire
(=>
(
instance
?INDUSTRY
Industry
)
(
exists
(?MEMB1 ?MEMB2 ?CLASS)
(
and
(
member
?MEMB1 ?INDUSTRY)
(
member
?MEMB2 ?INDUSTRY)
(
subclass
?CLASS
Corporation
)
(
immediateInstance
?MEMB1 ?CLASS)
(
immediateInstance
?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15015-15023
Collection
est une
instance
de
Industry
physique
physique
and
classe
physique
est un
membre
de
collection
physique
est un
membre
de
collection
classe
est une
sous
-classe de
corporation
physique
est une
instance
imm�diate de
classe
physique
est une
instance
imm�diate de
classe
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Objet
est une
instance
de
viande
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
animal
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
Objet corpusculaire
est une
instance
de
objet corpusculaire
substance
substance
substance
est une
sous
-classe de
substance
substance
est une
sous
-classe de
substance
substance
est
fait
de
objet corpusculaire
substance
est
fait
de
objet corpusculaire
substance
est
substance
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