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
O argumento numero 1 de
lessThanOrEqualTo
e' uma
instancia
de
Numero Real
(
domain
lessThanOrEqualTo
2
RealNumber
)
Merge.kif 1861-1861
O argumento numero 2 de
lessThanOrEqualTo
e' uma
instancia
de
Numero Real
(
instance
lessThanOrEqualTo
BinaryPredicate
)
Merge.kif 1856-1856
lessThanOrEqualTo
e' uma
instancia
de
Predicado Binario
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
lessThanOrEqualTo
e' uma
instancia
de
Relacao parcialmente Ordenada
(
instance
lessThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1858-1858
lessThanOrEqualTo
e' uma
instancia
de
Relacao estendida a Quantidades
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
lessThanOrEqualTo
e'
tricotomizado
en
Numero Real
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
e'
inverso
de
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
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
igual
a
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Comprar
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
askPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
menor
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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 o
dia
Inteiro positivo
Entidade
e' uma
instancia
de
Holiday
Holiday
e' uma
sub
-classe de
FixedHoliday
Numero Inteiro
e'
menor
ou igual a
Entidade
-YEAR
Entidade
e' uma
instancia
de o
dia
Inteiro positivo
(=>
(
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
e'
igual
a a
lista
composta de
Lista
e
Lista
Lista
e'
igual
a
NullList
Lista
e'
igual
a
NullList
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(
comprimento
de
Lista
+
Inteiro positivo
)th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
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
Objeto
e' uma
instancia
de
MaritimeClaimsTerritorialSeaFn
Regiao
a
largura
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Fisico
e
Regiao
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Fisico
e'
situado
em
Objeto
(=>
(
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
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Organismo
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 1
Entidade
e' uma
instancia
de
HumanBaby
vale
durante
Posicao Temporal
(=>
(
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
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 14
Entidade
e' uma
instancia
de
HumanChild
vale
durante
Posicao Temporal
(=>
(
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
Objeto
e' uma
instancia
de
WindFlow
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
elevation
Objeto
and
Numero Real
FootLength
(s)
Numero Real
e'
menor
ou igual a 500.0 a
medida
de
Objeto
e'
Medida de Comprimento
por
Duracao Temporal
surfaceWindSpeed
Objeto
and
Medida de Comprimento
por
Duracao Temporal
(=>
(
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
Numero Real
Unidade de Medida
(s)
maximumPayloadHeightWidth
Vehicle
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Objeto auto-conectado
e' uma
instancia
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Numero Real
Numero Real
U(s) a
largura
de
Objeto auto-conectado
e'
Numero Real
Numero Real
U(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Numero Real
U(s)
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Vehicle
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Area Aquatica
and
Numero Real
Meter
(s)
ladenDraft
WaterVehicle
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Area Aquatica
e'
capaz
de fazer
TripFn
WaterVehicle
no role
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
Area Aquatica
and
Numero Real
LongTon
(s)
WaterVehicle
e' uma
instancia
de
WaterVehicle
vesselDisplacement
WaterVehicle
and
Numero Real
LongTon
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Area Aquatica
e'
capaz
de fazer
TripFn
WaterVehicle
no role
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
Objeto
e'
Outside
em relacao a
Regiao
Objeto
e' uma
instancia
de
PerimeterAreaFn
Regiao
Objeto
e' uma
instancia
de
UniformPerimeterArea
a
largura
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Regiao
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
(
Numero Real
+
Numero Real
) e'
menor
ou igual a 0.0
Objeto
e'
situado
em
Objeto
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
Numero Real
Lista
Inteiro positivo
comprimento
de
Lista
e'
igual
a
comprimento
de
Lista
1th
elemento
de
Lista
e'
igual
a 1th
elemento
de
Lista
Inteiro positivo
Inteiro positivo
e' um
membro
de
Lista
Numero Real
Numero Real
MINUSONE,
Inteiro positivo
and
Inteiro positivo
Numero Real
e'
maior
que 1
Numero Real
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Numero Real
Inteiro positivo
e' um
membro
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e' um
membro
de
Lista
Numero Real
MINUSONE e'
igual
a (
Numero Real
+ 1)
Numero Real
MINUSONE e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e'
igual
a (
Inteiro positivo
+
Inteiro positivo
)
Inteiro positivo
e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
+
Inteiro positivo
(=>
(
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
O maior
caminho
entre
No' do Grafo
e
No' do Grafo
e'
igual
a
Caminho do Grafo
o
valor
de
Caminho do Grafo
e'
igual
a
Numero Real
Caminho do Grafo
2 e' uma
instancia
de o
conjunto
de caminhos entre
No' do Grafo
e
No' do Grafo
o
valor
de
Caminho do Grafo
2 e'
igual
a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
LatitudeFn
Atributo Directional
and @ROW e' uma
instancia
de
Regiao
1th
elemento
de (@ROW) e'
igual
a
Numero Real
AngularDegree
(s)
Numero Real
e'
menor
ou igual 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
Atributo Directional
and @ROW e' uma
instancia
de
Regiao
1th
elemento
de (@ROW) e'
igual
a
Numero Real
AngularDegree
(s)
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
Airport
LongRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 2438
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
Airport
MediumLengthRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 1524
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
Airport
ShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 914
Numero Real
e'
menor
ou igual 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 917-925
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
PartlyCloudyWeather
eventLocated
Processo
and
Regiao
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
maior
ou igual a 0.3
Numero Real nao-negativo
e'
menor
ou igual 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 906-915
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
PartlyCloudyWeather
eventLocated
Processo
and
Regiao
Numero Real nao-negativo
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
maior
ou igual a 0.3
Numero Real nao-negativo
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
Brine
a
medida
de
Objeto
e' 1.0
Liter
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que 35.0
Numero Real
e'
menor
ou igual a 260.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Comida
e' uma
instancia
de
CoffeeBean
DarkRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
Numero Real
e'
maior
ou igual a 225
Numero Real
e'
menor
ou igual a 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Comida
e' uma
instancia
de
CoffeeBean
LightRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
Numero Real
e'
maior
ou igual a 196
Numero Real
e'
menor
ou igual a 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Comida
e' uma
instancia
de
CoffeeBean
MediumRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
Numero Real
e'
maior
ou igual a 210
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
CoffeeArabica
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
C e' uma
instancia
de
Caffeine
Objeto
C e' uma &parte de
Objeto
a
medida
de
Objeto
C e'
Numero Real
Gram
(s)
Numero Real
e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
maior
ou igual a 0.008
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
CoffeeRobusta
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Objeto
C e' uma
instancia
de
Caffeine
Objeto
C e' uma &parte de
Objeto
a
medida
de
Objeto
C e'
Numero Real
Gram
(s)
Numero Real
e'
igual
a
Numero Real
+
Numero Real
Numero Real
e'
maior
ou igual a 0.017
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
FlatWhite
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma &parte de
Substancia
o
topo
de
Substancia
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Bubble
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
Numero Real
e'
maior
ou igual a 1.0
Numero Real
e'
menor
ou igual a 20.0
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
Area Geopolitica
e' uma
instancia
de
Cidade
Area Geopolitica
e' uma &parte de
France
o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
e'
menor
ou igual a o numero de
instancias
dentro de
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
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s) a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
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
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
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 2365-2384
Processo
e' uma
instancia
de
Hurricane
SpeedScaleAttribute
e' uma
instancia
de
SSHWSAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
Unidade de Medida
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
Fisico
e' uma
instancia
de
Ice
a
medida
de
Fisico
e'
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menor
ou igual 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
Objeto
e' uma
instancia
de
SemiSkimmedMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.015 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.02 +
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
SkimmedMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.005 +
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
WholeMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0325 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.05 +
Numero Real
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
NarrowGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual 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
O numero de
instancias
dentro de
TwelveApostles
e'
menor
ou igual 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