Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
lessThanOrEqualTo
Sigma KEE - lessThanOrEqualTo
lessThanOrEqualTo
appearance as argument number 1
(
documentation
lessThanOrEqualTo
ChineseLanguage
"(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
少于或者等于 ?NUMBER2 的
Quantity
。")
chinese_format.kif 1733-1734
(
documentation
lessThanOrEqualTo
EnglishLanguage
"(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is less than or equal to the
Quantity
?NUMBER2.")
Merge.kif 1863-1865
(
documentation
lessThanOrEqualTo
JapaneseLanguage
"(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1が
Quantity
?NUMBER2以下の場合に当てはまる。")
japanese_format.kif 341-342
(
domain
lessThanOrEqualTo
1
RealNumber
)
Merge.kif 1860-1860
Il numero 1 argomenti di
lessThanOrEqualTo
è un
istanza
di
NumeroReale
(
domain
lessThanOrEqualTo
2
RealNumber
)
Merge.kif 1861-1861
Il numero 2 argomenti di
lessThanOrEqualTo
è un
istanza
di
NumeroReale
(
instance
lessThanOrEqualTo
BinaryPredicate
)
Merge.kif 1856-1856
lessThanOrEqualTo
è un'
istanza
di
PredicatoBinario
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
lessThanOrEqualTo
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
lessThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1858-1858
lessThanOrEqualTo
è un'
istanza
di
RelazioneEstesaAQuantit�
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
lessThanOrEqualTo
è
tricotomizzante
su
NumeroReale
appearance as argument number 2
(
format
ChineseLanguage
lessThanOrEqualTo
"%1 %n 是
lessThanOrEqualTo
%2")
chinese_format.kif 143-143
(
format
EnglishLanguage
lessThanOrEqualTo
"%1 is %n less than or equal to %2")
english_format.kif 144-144
(
format
FrenchLanguage
lessThanOrEqualTo
"%1 est %n plus petit ou �gal � %2")
french_format.kif 93-93
(
format
ItalianLanguage
lessThanOrEqualTo
"%1 è%n minore o uguale a %2")
relations-it.txt 164-164
(
format
JapaneseLanguage
lessThanOrEqualTo
"%1 は %2 より less または同等 では %n")
japanese_format.kif 1920-1920
(
format
PortugueseLanguage
lessThanOrEqualTo
"%1 e' %n menor ou igual a %2")
portuguese_format.kif 45-45
(
format
cz
lessThanOrEqualTo
"%1 %p{je} %n{nen�} men�� ne� nebo roven %2")
relations-cz.txt 78-78
(
format
de
lessThanOrEqualTo
"%1 ist kleinerAlsOderGleich %2 %n{nicht}")
relations-de.txt 174-174
(
format
hi
lessThanOrEqualTo
"%1 %2 se kama yaa baraabara %n hai")
relations-hindi.txt 203-203
(
format
ro
lessThanOrEqualTo
"%1 %n{nu} este less%t{mai mic} sau egal decât %2")
relations-ro.kif 112-112
(
format
sv
lessThanOrEqualTo
"%1 är %n{inte} mindre än eller lika med %2")
relations-sv.txt 92-92
(
format
tg
lessThanOrEqualTo
"%1 %n ay meno o pareho ng %2")
relations-tg.txt 327-327
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1879-1879
greaterThanOrEqualTo
è un
inverso
di
lessThanOrEqualTo
(
termFormat
ChineseLanguage
lessThanOrEqualTo
"小于或等于")
domainEnglishFormat.kif 34151-34151
(
termFormat
ChineseLanguage
lessThanOrEqualTo
"少于或等于")
chinese_format.kif 144-144
(
termFormat
ChineseTraditionalLanguage
lessThanOrEqualTo
"小於或等於")
domainEnglishFormat.kif 34150-34150
(
termFormat
EnglishLanguage
lessThanOrEqualTo
"less than or equal to")
domainEnglishFormat.kif 34149-34149
(
termFormat
de
lessThanOrEqualTo
"kleinerAlsOderGleich")
terms-de.txt 53-53
(
termFormat
tg
lessThanOrEqualTo
"meno o pareho ng")
relations-tg.txt 328-328
antecedent
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
commemoratesDate
Holiday
and il
giorno
NumeroInteroPositivo
Entit�
è un'
istanza
di
Holiday
Holiday
è una
sottoclasse
di
FixedHoliday
NumeroIntero
è
minore
o uguale a
Entit�
-YEAR
Entit�
è un'
istanza
di il
giorno
NumeroInteroPositivo
(=>
(
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
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
Oggetto
è un'
istanza
di
MaritimeClaimsTerritorialSeaFn
Regione
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Entit�Concreta
e
Regione
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Organismo
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 392-397
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 1
Entit�
è un'
istanza
di
HumanBaby
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 311-318
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 14
Entit�
è un'
istanza
di
HumanChild
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Oggetto
è un'
istanza
di
WindFlow
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
elevation
Oggetto
and
NumeroReale
FootLength
(s
NumeroReale
è
minore
o uguale a 500.0 la
misura
Oggetto
è
MisuraDiLunghezza
per
Durata
surfaceWindSpeed
Oggetto
and
MisuraDiLunghezza
per
Durata
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
maximumPayloadCapacity
Vehicle
and
NumeroReale
Unit�DiMisura
(s
maximumPayloadHeightWidth
Vehicle
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
OggettoIntegro
è un'
istanza
di
OggettoIntegro
weight
OggettoIntegro
and
NumeroReale
NumeroReale
U(s l'
ampiezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s l'
altezza
di
OggettoIntegro
è
NumeroReale
NumeroReale
U(s
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
U is
uguale
a
Unit�DiMisura
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
Vehicle
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
navigableForDraft
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2637-2643
navigableForShippingTonnage
SuperficieAcquatica
and
NumeroReale
LongTon
(s
WaterVehicle
è un'
istanza
di
WaterVehicle
vesselDisplacement
WaterVehicle
and
NumeroReale
LongTon
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
minore
o uguale a 0.0
Oggetto
è
localizzato
in
Oggetto
consequent
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
average
Lista
and
NumeroReale
Lista
NumeroInteroPositivo
lunghezza
di
Lista
is
uguale
a
lunghezza
di
Lista
1th
elemento
di
Lista
is
uguale
a 1th
elemento
di
Lista
NumeroInteroPositivo
NumeroInteroPositivo
è un
Lista
NumeroReale
NumeroReale
MINUSONE,
NumeroInteroPositivo
and
NumeroInteroPositivo
NumeroReale
è
pi
ù grande di 1
NumeroReale
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroReale
NumeroInteroPositivo
è un
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
è un
Lista
NumeroReale
MINUSONE is
uguale
a (
NumeroReale
+ 1
NumeroReale
MINUSONE is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
+
NumeroInteroPositivo
(=>
(
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
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
LatitudeFn
AttributoDirezionale
and @ROW è un'
istanza
di
Regione
1th
elemento
di (@ROW is
uguale
a
NumeroReale
AngularDegree
(s
NumeroReale
è
minore
o uguale a 90.0
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
LongitudeFn
AttributoDirezionale
and @ROW è un'
istanza
di
Regione
1th
elemento
di (@ROW is
uguale
a
NumeroReale
AngularDegree
(s
NumeroReale
è
minore
o uguale a 180.0
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
LongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 2438
NumeroReale
è
minore
o uguale a 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
MediumLengthRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 1524
NumeroReale
è
minore
o uguale a 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
ShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 914
NumeroReale
è
minore
o uguale a 1523
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 913-921
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
PartlyCloudyWeather
eventLocated
Processo
and
Regione
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di o uguale a 0.3
NumeroRealeNonNegativo
è
minore
o uguale a 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 902-911
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
PartlyCloudyWeather
eventLocated
Processo
and
Regione
NumeroRealeNonNegativo
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di o uguale a 0.3
NumeroRealeNonNegativo
è
minore
o uguale a 0.7
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
Oggetto
è un'
istanza
di
Brine
la
misura
Oggetto
è 1.0
Liter
(s
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
SodiumChloride
la
misura
Oggetto
è
NumeroReale
Gram
(s
NumeroReale
è
pi
ù grande di 35.0
NumeroReale
è
minore
o uguale a 260.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
DarkRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 225
NumeroReale
è
minore
o uguale a 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
LightRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 196
NumeroReale
è
minore
o uguale a 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
MediumRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 210
NumeroReale
è
minore
o uguale a 219
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
Oggetto
è un'
istanza
di
CoffeeArabica
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
C è un'
istanza
di
Caffeine
Oggetto
C è una
parte
di
Oggetto
la
misura
Oggetto
C è
NumeroReale
Gram
(s
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 0.008
NumeroReale
è
minore
o uguale a 0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
Oggetto
è un'
istanza
di
CoffeeRobusta
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
C è un'
istanza
di
Caffeine
Oggetto
C è una
parte
di
Oggetto
la
misura
Oggetto
C è
NumeroReale
Gram
(s
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 0.017
NumeroReale
è
minore
o uguale a 0.04
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
Oggetto
è un'
istanza
di
FlatWhite
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è una
parte
di
Sostanza
il
vertice
Sostanza
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Bubble
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
NumeroReale
è
pi
ù grande di o uguale a 1.0
NumeroReale
è
minore
o uguale a 20.0
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
AreaGeopolitica
è un'
istanza
di
Citt�
AreaGeopolitica
è una
parte
di
France
il numero di
istanzia
in
ResidentFn
AreaGeopolitica
è
minore
o uguale a il numero di
istanzia
in
ResidentFn
Paris
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1075-1084
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1062-1073
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
NumeroReale
il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2361-2380
Processo
è un'
istanza
di
Hurricane
SpeedScaleAttribute
è un'
istanza
di
SSHWSAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
Unit�DiMisura
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8984-8988
Entit�Concreta
è un'
istanza
di
Ice
la
misura
Entit�Concreta
è
NumeroReale
CelsiusDegree
(s
NumeroReale
è
minore
o uguale a 0.0
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
Oggetto
è un'
istanza
di
SemiSkimmedMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di o uguale a 0.015 +
NumeroReale
NumeroReale
2 è
minore
o uguale a 0.02 +
NumeroReale
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
Oggetto
è un'
istanza
di
SkimmedMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di o uguale a 0.0 +
NumeroReale
NumeroReale
2 è
minore
o uguale a 0.005 +
NumeroReale
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
Oggetto
è un'
istanza
di
WholeMilk
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
Oggetto
NumeroReale
2
Oggetto
è un'
istanza
di
ButterFat
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ButterFat
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di o uguale a 0.0325 +
NumeroReale
NumeroReale
2 è
minore
o uguale a 0.05 +
NumeroReale
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Railway
è un'
istanza
di
Railway
Railway
ha un
attributo
NarrowGauge
trackWidth
Railway
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a 1.435
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
lessThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 12)
Media.kif 1966-1966
Il numero di
istanzia
in
TwelveApostles
è
minore
o uguale a 12
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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