equal
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
concentration
NumeroReale
Unit�DiMisura
(s,
Sostanza
,
NumeroReale
Unit�DiMisura
2(s and
Mistura
Sostanza
I è un'
istanza
di
Sostanza
Sostanza
I è una
parte
di
Mistura
la
misura
Sostanza
I è
NumeroReale
Unit�DiMisura
3(s
Sostanza
I è una
parte
di
Mistura
Sostanza
I2 è un'
istanza
di
Sostanza
Sostanza
I is
uguale
a
Sostanza
IE2
Sostanza
I2 è una
parte
di
Mistura
la
misura
Mistura
è
NumeroReale
Unit�DiMisura
2(s
approximateValue
NumeroReale
and
NumeroReale
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 549-556
confidenceInterval
Experimenting
and
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Frase
è un'
istanza
di
Formula
Frase
è un
paziente
di
Experimenting
NumeroReale
is
uguale
a 100
truth
Frase
and
False
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 540-547
confidenceInterval
Experimenting
and
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Frase
è un'
istanza
di
Formula
Frase
è un
paziente
di
Experimenting
NumeroReale
is
uguale
a 100
truth
Frase
and
True
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW è
opposto
a
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
NumeroInteroPositivo
is
uguale
a
NumeroInteroPositivo
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
UnitedStatesDollar
(s
NumeroReale
è
meno
di0
NumeroReale
is
uguale
a (0 +
NumeroReale
overdraft
FinancialAccount
,
NumeroReale
UnitedStatesDollar
(s and
Giorno
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
decreasesLikelihood
Formula
and
Formula
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
defaultMaxValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
è
pi
ù grande di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
defaultMinValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Entit�
è
pi
ù grande di
Quantit�
ha il modello di forza di
Likely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
defaultValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
is
uguale
a
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Governo
AreaGeopolitica
è un'
istanza
di
Citt�
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
Governo
(=>
(
and
(
downPayment
?Loan
(
MeasureFn
?Amount ?CUNIT))
(
loanForPurchase
?Loan ?Purchase)
(
monetaryValue
?Purchase
(
MeasureFn
?Value ?CUNIT))
(
equal
?Balance
(
SubtractionFn
?Value ?Amount)))
(
originalBalance
?Loan
(
MeasureFn
?Balance ?CUNIT)))
FinancialOntology.kif 818-828
downPayment
Loan
and
NumeroReale
Unit�DiMisura
(s
loanForPurchase
Loan
and
Oggetto
valore
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
originalBalance
Loan
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1347-1358
Meccanismo
è un
componente
di
Internet
Meccanismo
è un
componente
di
Internet
Meccanismo
is
uguale
a
Meccanismo
Internet
ha
scopo
Entit�
Entit�
è un'
istanza
di
Comunicazione
Entit�
è un
agente
di
Meccanismo
Entit�
fine
s in
Meccanismo
Internet
è uno
strumento
per
Entit�
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
L'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))
(
instance
?GRAPH
GraphCircuit
))
Merge.kif 5765-5769
L'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
CamminoDelGrafo
è un'
istanza
di
CircuitoDelGrafo
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4966-4971
CenterOfCircleFn
Circle
is
uguale
a
GeometricPoint
pointOfFigure
GeometricPoint
2 and
Circle
geometricDistance
GeometricPoint
2,
GeometricPoint
and
MisuraDiLunghezza
RadiusFn
Circle
is
uguale
a
MisuraDiLunghezza
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
Edizione
NumeroInteroPositivo
di
OggettoSemiotico
is
uguale
a
OggettoSemiotico
edizione
NumeroInteroPositivo
di
OggettoSemiotico
is
uguale
a
OggettoSemiotico
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
Processo
è un'
istanza
di
Editoria
Processo
è un'
istanza
di
Editoria
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
data
di
Processo
è
Giorno
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di la
fine
di
Giorno
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
pi
ù grande di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
instance
?ARC
GraphLoop
))
Merge.kif 5866-5870
Il
nodo
iniziale di
arco del grafo
is
uguale
a
NodoDelGrafo
il
nodo
terminale di
arco del grafo
is
uguale
a
NodoDelGrafo
arco del grafo
è un'
istanza
di
grafo ciclico
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
meno
di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3219-3223
Lunghezza
di
Lista
is
uguale
a
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Entit�
LastFn
Lista
is
uguale
a
Entit�
(=>
(
and
(
equal
(
MaximalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
lessThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6044-6050
Il
il
cammino col costo maggiore 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
è
minore
o uguale a
NumeroReale
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfAngularMeasure
))
(
instance
?QUANT
AngleMeasure
))
Merge.kif 6394-6398
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfAngularMeasure
Quantit�Fisica
è un'
istanza
di
MisuraAngolare
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfArea
))
(
instance
?QUANT
AreaMeasure
))
Merge.kif 6370-6374
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
Unit�DiMisura
è un'
istanza
di
UnitOfArea
Quantit�Fisica
è un'
istanza
di
MisuraDiArea
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