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
域
小於或等於
, 1 and
RealNumber
(
domain
lessThanOrEqualTo
2
RealNumber
)
Merge.kif 1861-1861
域
小於或等於
, 2 and
RealNumber
(
instance
lessThanOrEqualTo
BinaryPredicate
)
Merge.kif 1856-1856
例
小於或等於
and
BinaryPredicate
(
instance
lessThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1857-1857
例
小於或等於
and
PartialOrderingRelation
(
instance
lessThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1858-1858
例
小於或等於
and
RelationExtendedToQuantities
(
trichotomizingOn
lessThanOrEqualTo
RealNumber
)
Merge.kif 1859-1859
trichotomizing
小於或等於
and
RealNumber
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
逆
大於或等於
and
小於或等於
(
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
小於或等於
RealNumber
and
RealNumber
等於
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
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
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Buying
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
例
UnitOfMeasure
and
UnitOfCurrency
AutonomousAgent
為了
安全
asks
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
AutonomousAgent
and
SymbolicString
ingTime and
協議
(=>
(
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
天
PositiveInteger
and
月
Month
and
年
Integer
是
假日
的
commemorates
日期
例
Entity
and
假日
子類
假日
and
固定假期
小於或等於
Integer
and
entity
-YEAR
例
Entity
and
天
PositiveInteger
and
月
Month
and
年
entity
-YEAR
(=>
(
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
等於
List
and
列表連接
List
and
List
等於
List
and
空列表
等於
List
and
空列表
小於或等於
PositiveInteger
and
列表長度
List
小於或等於
PositiveInteger
and
列表長度
List
例
PositiveInteger
and
PositiveInteger
例
PositiveInteger
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
清單順序
List
and
PositiveInteger
等於
清單順序
List
and
加成
列表長度
List
and
PositiveInteger
and
清單順序
List
and
PositiveInteger
(=>
(
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
例
Object
and
maritime
宣稱 1% 的海洋領土
寬度
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Physical
,
Region
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
位於
Physical
and
Object
(=>
(
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
例
Device
and
槍
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Device
的
effective
範圍
距離
Device
,
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Organism
Object
之間
Object
,
Object
and
Device
小於或等於
RealNumber
and
RealNumber
SymbolicString
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Killing
患者
SymbolicString
and
Object
,
儀器
and
Device
(=>
(
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
例
Device
and
槍
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Device
的
effective
範圍
距離
Device
,
Object
and
測量
RealNumber
and
UnitOfMeasure
Object
之間
Object
,
Object
and
Device
小於或等於
RealNumber
and
RealNumber
SymbolicString
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Damaging
患者
SymbolicString
and
Object
,
儀器
and
Device
(=>
(
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
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and 1
持有期間
TimePosition
and
例
Entity
and
人類寶貝
(=>
(
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
例
Entity
and
Human
持有期間
TimePosition
and
年齡
Entity
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and 14
持有期間
TimePosition
and
例
Entity
and
人類的孩子
(=>
(
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
例
Object
and
WindFlow
例
Object
and
Object
部分位於
Object
and
Object
測量
RealNumber
and
腳長
是
Object
的
elevation
小於或等於
RealNumber
and 500.0
測量
Object
and
速度
LengthMeasure
and
TimeDuration
速度
LengthMeasure
and
TimeDuration
是
Object
的
surface
風速
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
車輛
的
maximum
有效附載容量
車輛
對於
測量
RealNumber
and
UnitOfMeasure
的
maximum
有效附載高度
測量
RealNumber
and
UnitOfMeasure
例
SelfConnectedObject
and
SelfConnectedObject
測量
RealNumber
and
RealNumber
U 是
SelfConnectedObject
的
weight
寬度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
高度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Transportation
患者
SymbolicString
and
SelfConnectedObject
,
儀器
and
車輛
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
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
測量
RealNumber
and
長噸
是
navigable
對於
WaterArea
的運輸噸位
例
水車
and
水車
測量
RealNumber
and
長噸
是
水車
的
vessel
位移
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
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
方位
Object
,
Region
and
外
例
Object
and
Region
的
perimeter
地區
例
Object
and
均勻的周邊區域
寬度
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Region
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
小於或等於
減法
RealNumber
and
RealNumber
and 0.0
位於
Object
and
Object
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
RealNumber
是
List
的
average
List
PositiveInteger
等於
列表長度
List
and
列表長度
List
等於
清單順序
List
and 1 and
清單順序
List
and 1
PositiveInteger
在列表中
PositiveInteger
and
List
RealNumber
RealNumber
MINUSONE,
PositiveInteger
and
PositiveInteger
比較多
RealNumber
and 1
小於或等於
RealNumber
and
列表長度
List
等於
清單順序
List
and
PositiveInteger
and
RealNumber
在列表中
PositiveInteger
and
List
等於
RealNumber
and
清單順序
List
and
PositiveInteger
在列表中
PositiveInteger
and
List
等於
RealNumber
MINUSONE and
減法
RealNumber
and 1
等於
RealNumber
MINUSONE and
清單順序
List
and
PositiveInteger
等於
PositiveInteger
and
加成
PositiveInteger
and
PositiveInteger
等於
PositiveInteger
and
列表長度
List
等於
RealNumber
and
部
清單順序
List
and
PositiveInteger
and
PositiveInteger
(=>
(
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
等於
最大加權路徑
GraphNode
and
GraphNode
and
GraphPath
等於
路徑重量
GraphPath
and
RealNumber
例
GraphPath
and
圖形路徑
GraphNode
and
GraphNode
等於
路徑重量
GraphPath
and
RealNumber
小於或等於
RealNumber
and
RealNumber
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
例
@ROW 的
region
DirectionalAttribute
and
Region
等於
清單順序
名單
@ROW and 1 and
測量
RealNumber
and
圓周角度
小於或等於
RealNumber
and 90.0
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
例
在 @ROW
DirectionalAttribute
的
meridian
and
Region
等於
清單順序
名單
@ROW and 1 and
測量
RealNumber
and
圓周角度
小於或等於
RealNumber
and 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
例
Object
and
飛機場
attribute
Object
and
長跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 2438
小於或等於
RealNumber
and 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
例
Object
and
飛機場
attribute
Object
and
中長跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 1524
小於或等於
RealNumber
and 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
例
Object
and
飛機場
attribute
Object
and
短跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 914
小於或等於
RealNumber
and 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
例
Region
and
GeographicArea
例
Process
and
部分多雲的天氣
Process
是
located
在
Region
NonnegativeRealNumber
Region
大於或等於
NonnegativeRealNumber
and 0.3
小於或等於
NonnegativeRealNumber
and 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
例
Region
and
GeographicArea
例
Process
and
部分多雲的天氣
Process
是
located
在
Region
NonnegativeRealNumber
NonnegativeRealNumber
Region
大於或等於
NonnegativeRealNumber
and 0.3
小於或等於
NonnegativeRealNumber
and 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
例
Object
and
Brine
測量
Object
and
測量
1.0 and
升
部分
Object
and
Object
例
Object
and
鹽
測量
Object
and
測量
RealNumber
and
公克
比較多
RealNumber
and 35.0
小於或等於
RealNumber
and 260.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
例
Food
and
咖啡豆
attribute
Food
and
DarkRoast
roastedToTemperature
Food
and
RealNumber
大於或等於
RealNumber
and 225
小於或等於
RealNumber
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
例
Food
and
咖啡豆
attribute
Food
and
LightRoast
roastedToTemperature
Food
and
RealNumber
大於或等於
RealNumber
and 196
小於或等於
RealNumber
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
例
Food
and
咖啡豆
attribute
Food
and
MediumRoast
roastedToTemperature
Food
and
RealNumber
大於或等於
RealNumber
and 210
小於或等於
RealNumber
and 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
例
Object
and
CoffeeArabica
測量
Object
and
測量
RealNumber
and
公克
例
Object
C and
Caffeine
部分
Object
C and
Object
測量
Object
C and
測量
RealNumber
and
公克
等於
RealNumber
and
部
RealNumber
and
RealNumber
大於或等於
RealNumber
and 0.008
小於或等於
RealNumber
and 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
例
Object
and
CoffeeRobusta
測量
Object
and
測量
RealNumber
and
公克
例
Object
C and
Caffeine
部分
Object
C and
Object
測量
Object
C and
測量
RealNumber
and
公克
等於
RealNumber
and
部
RealNumber
and
RealNumber
大於或等於
RealNumber
and 0.017
小於或等於
RealNumber
and 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
例
Object
and
FlatWhite
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
部分
SelfConnectedObject
and
Substance
上
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.15
大於或等於
RealNumber
and 1.0
小於或等於
RealNumber
and 20.0
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
例
GeopoliticalArea
and
City
部分
GeopoliticalArea
and
法國
小於或等於
基數
GeopoliticalArea
的
resident
and
基數
巴黎
的
resident
(=>
(
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
例
選舉
and
AutonomousAgent
的
election
例
Process
and
選舉
的
voting
agent
Process
and
AutonomousAgent
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
年齡
AutonomousAgent
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
例
選舉
and
AutonomousAgent
的
election
例
Process
and
選舉
的
voting
agent
Process
and
AutonomousAgent
測量
RealNumber
and
年持續時間
是
AutonomousAgent
的
suffrage
最大年紀
RealNumber
年齡
AutonomousAgent
and
測量
RealNumber
and
年持續時間
小於或等於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
颶風
例
SpeedScaleAttribute
and
SSHWSAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
UnitOfMeasure
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
例
Physical
and
冰
測量
Physical
and
測量
RealNumber
and
攝氏度
小於或等於
RealNumber
and 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
例
Object
and
SemiSkimmedMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.015 and
RealNumber
小於或等於
RealNumber
and
乘法
0.02 and
RealNumber
(=>
(
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
例
Object
and
SkimmedMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.0 and
RealNumber
小於或等於
RealNumber
and
乘法
0.005 and
RealNumber
(=>
(
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
例
Object
and
WholeMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.0325 and
RealNumber
小於或等於
RealNumber
and
乘法
0.05 and
RealNumber
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
例
鐵路
and
鐵路
屬性
鐵路
and
窄規
測量
RealNumber
and
儀表
是
鐵路
的
track
寬度
小於或等於
RealNumber
and 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
小於或等於
基數
TwelveApostles
and 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