equal
(=>
(
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
(
distanceOnPath
?DIST ?PATH)
(
pathInSystem
?PATH ?SYS)
(
routeStart
?START ?PATH)
(
routeEnd
?END ?PATH)
(
abstractCounterpart
?GRAPH ?SYS))
(
exists
(?S ?BN ?EN)
(
and
(
subGraph
?S ?GRAPH)
(
equal
?BN
(
BeginNodeFn
?GRAPH))
(
equal
?EN
(
EndNodeFn
?GRAPH))
(
abstractCounterpart
?BN ?START)
(
abstractCounterpart
?EN ?END))))
Transportation.kif 2806-2819
distanceOnPath
Quantit�Costante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
Regione
and
Transitway
routeEnd
Regione
and
Transitway
abstractCounterpart
CamminoDelGrafo
and
TransitSystem
Grafo
NodoDelGrafo
and
NodoDelGrafo
Grafo
è un
sottografo
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a l'
inizio
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a la
fine
di
CamminoDelGrafo
abstractCounterpart
NodoDelGrafo
and
Regione
abstractCounterpart
NodoDelGrafo
and
Regione
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
%è un
elemento
di %2
attribute
Oggetto
and
AnnexRoom
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
Oggetto
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
HotelFrontDesk
Organizzazione
è
localizzato
in
Oggetto
%è un
elemento
di %2 %è un
elemento
di %2
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
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
(
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
(
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
(
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
(
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
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
Lista
is
uguale
a
Lista
Lista
is
uguale
a (@ROW1
Lista
is
uguale
a (@ROW2
Entit�
elemento
di (@ROW1 is
uguale
a
Entit�
elemento
di (@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
Lista
is
uguale
a la lista composta di
Lista
e
Lista
Lista
is
uguale
a
NullList
Lista
is
uguale
a
NullList
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(
lunghezza
di
Lista
+
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
(=>
(
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
is
uguale
a
PhysicalQuantityToNumberFn
MeasuringResultList
Quantit�Fisica
is
uguale
a
Entit�
elemento
di
MeasuringResultList
NumeroReale
is
uguale
a
Entit�
elemento
di
NumberList
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
(=>
(
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
Stringa
is
uguale
a
ReverseFn
Stringa
NumeroInteroNonNegativo
is
uguale
a
StringLengthFn
Stringa
NumeroInteroNonNegativo
è
pi
ù grande di 1
NumeroInteroNonNegativo
è
pi
ù grande di 0
NumeroInteroNonNegativo
è
meno
di
NumeroInteroNonNegativo
NumeroIntero
is
uguale
a il
tetto
di (
NumeroInteroNonNegativo
+ 1 + 2
NumeroInteroNonNegativo
EW is
uguale
a ((
NumeroIntero
+
NumeroInteroNonNegativo
+
NumeroIntero
Stringa
is
uguale
a
SubstringFn
Stringa
,
NumeroInteroNonNegativo
and (1 +
NumeroInteroNonNegativo
Stringa
is
uguale
a
SubstringFn
Stringa
,
NumeroInteroNonNegativo
EW and (1 +
NumeroInteroNonNegativo
EW
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 0))
(
equal
?R
NullList
))
Merge.kif 3170-3177
Lista
is
uguale
a
SubListFn
NumeroIntero
,
NumeroIntero
and
Lista
(
NumeroIntero
+
NumeroIntero
is
uguale
a 0
Lista
is
uguale
a
NullList
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Lista
is
uguale
a
SubListFn
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(
NumeroIntero
+
NumeroInteroPositivo
is
uguale
a 1
Lista
is
uguale
a (
NumeroInteroPositivo
th
elemento
di
Lista
(=>
(
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
Lista
is
uguale
a
SubListFn
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(
NumeroIntero
+
NumeroInteroPositivo
è
pi
ù grande di 1
Lista
is
uguale
a la lista composta di (
NumeroInteroPositivo
th
elemento
di
Lista
e
SubListFn
(1 +
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(=>
(
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
Lista
is
uguale
a
Mean3SecondWindSpeedListFn
AreaGeografica
and
IntervalloTemporale
FunzioneDiQuantit�
è un
Lista
IntervalloTemporale
LIST
IntervalloTemporale
IntervalloTemporale
LIST is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and 3
SecondDuration
(s
IntervalloTemporale
è un
IntervalloTemporale
LIST
FunzioneDiQuantit�
is
uguale
a
Mean3SecondWindSpeedFn
AreaGeografica
and
IntervalloTemporale
(=>
(
and
(
equal
?V
(
VarianceFn
?L))
(
equal
?M
(
AverageFn
?L)))
(
equal
?V
(
DivisionFn
(
VarianceAverageFn
?M ?L)
(
ListLengthFn
?L))))
Weather.kif 1475-1484
NumeroReale
is
uguale
a
VarianceFn
Lista
NumeroReale
is
uguale
a
AverageFn
Lista
NumeroReale
is
uguale
a
VarianceAverageFn
NumeroReale
and
Lista
+
lunghezza
di
Lista
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