equal
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
Interval temporel
est
FiscalYearStartingFn
AutonomousAgent
and
ann�e
fiscalYearPeriod
AutonomousAgent
and
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
position temporel
interval temporel
est une
instance
de
jour
interval temporel
commence
interval temporel
position temporel
est une
instance
de
ann�e
interval temporel
est une
partie
de
position temporel
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD))
(
instance
?FY ?PERIOD))
Economy.kif 3748-3752
Interval temporel
est
FiscalYearStartingFn
AutonomousAgent
and
ann�e
fiscalYearPeriod
AutonomousAgent
and
interval temporel
interval temporel
est une
instance
de
interval temporel
(=>
(
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
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
Liste
est
liste
liste
est
liste
est
entit�
entit�
&%�lement de (@ROW2)
(=>
(
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
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
viande
objet organique
est une
sous
-classe de
animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Malt
objet
est une
sous
-classe de
CerealGrain
initialPart
objet
and
CerealGrass
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
RadiationMeasure
est
nombre r�el
Rad
(s) la
mesure
de
objet
est
RadiationMeasure
absorbedDose
objet
and
RadiationMeasure
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1838-1845
NumberList
est
PhysicalQuantityToNumberFn
MeasuringResultList
quantit� physique
est
entit�
MeasuringResultList
nombre r�el
est
entit�
NumberList
nombre r�el
unit� de mesure
(s) est
quantit� physique
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
OilFromPlant
objet
est une
sous
-classe de
Seed
objet
est une
sous
-classe de
Fruit
objet
objet
est une
sous
-classe de
plant florissante
initialPart
objet
and
objet
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
Objet
est
union
des parties de
objet
et
objet
objet
est
connect
� �
objet
objet
est une
instance
de
objet en une partie
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3068-3089
Cha�ne sympbolique
est
ReverseFn
cha�ne sympbolique
nombre entier non n�gatif
est
StringLengthFn
cha�ne sympbolique
nombre entier non n�gatif
est
plus
grand
que 1
nombre entier non n�gatif
est
plus
grand
que 0
nombre entier non n�gatif
est
moins
que
nombre entier non n�gatif
nombre entier
est
plafond
de (
nombre entier non n�gatif
+ 1) + 2
nombre entier non n�gatif
EW est
nombre entier
+
nombre entier non n�gatif
) +
nombre entier
)
cha�ne sympbolique
est
SubstringFn
cha�ne sympbolique
,
nombre entier non n�gatif
and (1 +
nombre entier non n�gatif
)
cha�ne sympbolique
est
SubstringFn
cha�ne sympbolique
,
nombre entier non n�gatif
EW and (1 +
nombre entier non n�gatif
EW)
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet
objet
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet
est une
instance
de
objet organique
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet organique
est une
sous
-classe de
organisme
objet organique
est une
sous
-classe de
structure anatomique
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Pelt
objet organique
est une
sous
-classe de
Skin
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
benefits
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
suffers
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 0))
(
equal
?R
NullList
))
Merge.kif 3170-3177
Liste
est
SubListFn
nombre entier
,
nombre entier
and
liste
(
nombre entier
+
nombre entier
) est
liste
est
NullList
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
liste
est
nombre entier positif
th
liste
)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
plus
grand
que 1
liste
est
liste
compos�e de (
nombre entier positif
th
liste
) et
SubListFn
(1 +
nombre entier positif
),
nombre entier
and
liste
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Suet
objet
est une
sous
-classe de
tissu gras
initialPart
objet
and
Cattle
initialPart
objet
and
Sheep
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Lambskin
objet
est une
sous
-classe de
Skin
initialPart
objet
and
Lamb
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Sheepskin
objet
est une
sous
-classe de
Skin
initialPart
objet
and
Sheep
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
Song
est
SongFn
MusicalComposition
and
LyricalContent
Song
exprime
le contenu de
processus
processus
processus
MusicalComposition
est un
patient
de
processus
LyricalContent
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2005-2017
Liste
est
Mean3SecondWindSpeedListFn
secteur g�ographique
and
interval temporel
function de quantit�
est un
membre
de
liste
interval temporel
LIST
interval temporel
interval temporel
LIST est
TimeIntervalListFn
interval temporel
and 3
SecondDuration
(s)
interval temporel
est un
membre
de
interval temporel
LIST
function de quantit�
est
Mean3SecondWindSpeedFn
secteur g�ographique
and
interval temporel
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