equal
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfCurrency
))
(
instance
?QUANT
CurrencyMeasure
))
Merge.kif 6388-6392
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Quantit�Fisica
è un'
istanza
di
MisuraMonetaria
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfDuration
))
(
instance
?QUANT
TimeDuration
))
Merge.kif 6400-6404
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
Quantit�Fisica
è un'
istanza
di
Durata
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfFrequency
))
(
instance
?QUANT
FrequencyMeasure
))
Merge.kif 6846-6850
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfFrequency
Quantit�Fisica
è un'
istanza
di
FrequencyMeasure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfInformation
))
(
instance
?QUANT
InformationMeasure
))
Merge.kif 6406-6410
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfInformation
Quantit�Fisica
è un'
istanza
di
MisuraD'Informazione
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfLength
))
(
instance
?QUANT
LengthMeasure
))
Merge.kif 6358-6362
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Quantit�Fisica
è un'
istanza
di
MisuraDiLunghezza
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfMass
))
(
instance
?QUANT
MassMeasure
))
Merge.kif 6364-6368
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfMass
Quantit�Fisica
è un'
istanza
di
MisuraDiMassa
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfTemperature
))
(
instance
?QUANT
TemperatureMeasure
))
Merge.kif 6382-6386
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
Quantit�Fisica
è un'
istanza
di
MisuraDiTemperatura
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfVolume
))
(
instance
?QUANT
VolumeMeasure
))
Merge.kif 6376-6380
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Quantit�Fisica
è un'
istanza
di
MisuraVolumetrica
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
NumeroReale
McgPerKg
(s is
uguale
a
PerFn
MisuraDiMassa
and
MisuraDiMassa
MisuraDiMassa
is
uguale
a
NumeroReale
un
milionesimo
di
Gram
(s
MisuraDiMassa
is
uguale
a
NumeroReale
1
mille
Gram
s(s
Processo
OggettoIntegro
and
OggettoIntegro
Processo
è un'
istanza
di
Ingestione
OggettoIntegro
è un'
istanza
di
SostanzaBiologicamenteAttiva
OggettoIntegro
è un'
istanza
di
Organismo
OggettoIntegro
è un
paziente
di
Processo
Processo
è un
agente
di
OggettoIntegro
weight
OggettoIntegro
and
MisuraDiMassa
weight
OggettoIntegro
and
MisuraDiMassa
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
Il
cammino
col minor costo tra
NodoDelGrafo
e
NodoDelGrafo
is
uguale
a
CamminoDelGrafo
il
valore
di
CamminoDelGrafo
is
uguale
a
NumeroReale
CamminoDelGrafo
2 è un'
istanza
di l'
insieme
di cammini tra
NodoDelGrafo
e
NodoDelGrafo
il
valore
di
CamminoDelGrafo
2 is
uguale
a
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
graphPart
?ARC1 ?PATH)
(
graphPart
?ARC2 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
arcWeight
?ARC2 ?NUMBER2)
(
forall
(?ARC3)
(=>
(
graphPart
?ARC3 ?PATH)
(
or
(
equal
?ARC3 ?ARC1)
(
equal
?ARC3 ?ARC2)))))
(
equal
(
PathWeightFn
?PATH)
(
AdditionFn
?NUMBER1 ?NUMBER2)))
Merge.kif 5993-6006
Il
valore
di
CamminoDelGrafo
is
uguale
a
NumeroReale
arco del grafo
è una
parte
di
CamminoDelGrafo
arco del grafo
è una
parte
di
CamminoDelGrafo
il
valore
di
arco del grafo
è
NumeroReale
il
valore
di
arco del grafo
è
NumeroReale
ElementoDelGrafo
ElementoDelGrafo
è una
parte
di
CamminoDelGrafo
ElementoDelGrafo
is
uguale
a
arco del grafo
ElementoDelGrafo
is
uguale
a
arco del grafo
il
valore
di
CamminoDelGrafo
is
uguale
a (
NumeroReale
+
NumeroReale
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
subGraph
?SUBPATH ?PATH)
(
graphPart
?ARC1 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
forall
(?ARC2)
(=>
(
graphPart
?ARC2 ?PATH)
(
or
(
graphPart
?ARC2 ?SUBPATH)
(
equal
?ARC2 ?ARC1)))))
(
equal
?SUM
(
AdditionFn
(
PathWeightFn
?SUBPATH) ?NUMBER1)))
Merge.kif 5979-5991
Il
valore
di
CamminoDelGrafo
is
uguale
a
NumeroReale
CamminoDelGrafo
è un
sottografo
di
CamminoDelGrafo
arco del grafo
è una
parte
di
CamminoDelGrafo
il
valore
di
arco del grafo
è
NumeroReale
ElementoDelGrafo
ElementoDelGrafo
è una
parte
di
CamminoDelGrafo
ElementoDelGrafo
è una
parte
di
CamminoDelGrafo
ElementoDelGrafo
is
uguale
a
arco del grafo
NumeroReale
is
uguale
a (il
valore
di
CamminoDelGrafo
+
NumeroReale
(=>
(
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
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
is
uguale
a 0
NumeroIntero
is
uguale
a 0
il
segno
di
NumeroIntero
is
uguale
a il
segno
di
NumeroIntero
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
(the
il
maggior numero intero minore o uguale a
NumeroIntero
+
NumeroIntero
+
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
NumeroReale
is
uguale
a
AverageFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 0
NumeroReale
is
uguale
a
ListSumFn
Lista
+
lunghezza
di
Lista
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
inList
?N ?L))
(
instance
?N
Number
))
Merge.kif 3286-3290
NumeroReale
is
uguale
a
AverageFn
Lista
Entit�
è un
Lista
Entit�
è un'
istanza
di
Numero
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
NumeroReale
is
uguale
a
ListSumFn
Lista
1 is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a 1th
elemento
di
Lista
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
NumeroReale
is
uguale
a
ListSumFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
lunghezza
di
Lista
and
Lista
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
AnimalFat
Oggetto
è una
sottoclasse
di
TessutoGrasso
initialPart
Oggetto
and
Animale
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CoffeeBean
Oggetto
è una
sottoclasse
di
Seed
initialPart
Oggetto
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CocoaBean
Oggetto
è una
sottoclasse
di
Seed
initialPart
Oggetto
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Ottenere
is
uguale
a
ReceivingAnObjectFn
Oggetto
Ottenere
is
uguale
a
ReceivingAnObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Oggetto
Ottenere
è una
sottoclasse
di
Ottenere
(=>
(
and
(
equal
?D
(
AlbumCopiesFn
?A ?DS))
(
instance
?X ?D))
(
forall
(?S)
(=>
(
inList
?S ?A)
(
exists
(?C)
(
and
(
copy
?C ?S)
(
stored
?C ?X))))))
Music.kif 936-946
DataStorageDevice
is
uguale
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
è un'
istanza
di
DataStorageDevice
Oggetto
Oggetto
è un
Album
OggettoSemiotico
OggettoSemiotico
è un esatta
copia
di
Oggetto
stored
OggettoSemiotico
and
DataStorageDevice
(=>
(
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 18342-18357
Organizzazione
is
uguale
a
DepartmentOfFn
Organizzazione
and
Entit�Concreta
subOrganization
Organizzazione
2 and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
2
Entit�
è un'
istanza
di
Entit�Concreta
Organizzazione
è
interessato
a
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
Entit�
2 is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
2
NumeroReale
è
pi
ù grande di
Entit�
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18400-18405
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
inibisce
Entit�Concreta
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