equal
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18485-18490
defaultValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
等於
Quantity
and
Entity
and
容易
(=>
(
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
公交專用道
的
distance
是
ConstantQuantity
運輸系統
是
公交專用道
在系統裡的
path
Region
是
公交專用道
的
start
Region
是
公交專用道
的
end
運輸系統
的
abstract
counterpart
是
GraphPath
Graph
GraphNode
and
GraphNode
子圖
Graph
and
GraphPath
等於
GraphNode
and
開始節點
GraphPath
等於
GraphNode
and
結束節點
GraphPath
Region
的
abstract
counterpart
是
GraphNode
Region
的
abstract
counterpart
是
GraphNode
(=>
(
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
元件
Object
and
屬性
Organization
attribute
Object
and
AnnexRoom
例
Object
and
HotelRoom
Object
Object
and
Organization
子組織
Organization
and
Organization
例
Organization
and
HotelFrontDesk
位於
Organization
and
Object
元件
Object
and
屬性
Organization
元件
Object
and
屬性
Organization
部分
Object
and
Object
等於
Object
and
Object
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4960-4965
等於
圓
Object
的
center
and
幾何點
點圖
幾何點
2 and
Object
幾何點
2 是 對於
LengthMeasure
的
geometric
距離
幾何點
等於
Object
的
radius
and
LengthMeasure
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
等於
最大公約數
@ROW and
Integer
等於
Integer
and 0
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 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
等於
最大公約數
@ROW and
Integer
等於
Integer
and 0
Integer
比較多
Integer
and
Integer
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 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
等於
最不常見的倍數
@ROW and
Integer
等於
Integer
and 0
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 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
等於
最不常見的倍數
@ROW and
Integer
等於
Integer
and 0
Integer
少於
Integer
and
Integer
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 0
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3219-3223
等於
列表長度
List
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
Entity
等於
List
的
last
and
Entity
(=>
(
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
等於
路徑重量
GraphPath
and
RealNumber
圖形部分
GraphArc
and
GraphPath
圖形部分
GraphArc
and
GraphPath
弧重
GraphArc
and
RealNumber
弧重
GraphArc
and
RealNumber
GraphElement
圖形部分
GraphElement
and
GraphPath
等於
GraphElement
and
GraphArc
等於
GraphElement
and
GraphArc
等於
路徑重量
GraphPath
and
加成
RealNumber
and
RealNumber
(=>
(
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
等於
路徑重量
GraphPath
and
RealNumber
子圖
GraphPath
and
GraphPath
圖形部分
GraphArc
and
GraphPath
弧重
GraphArc
and
RealNumber
GraphElement
圖形部分
GraphElement
and
GraphPath
圖形部分
GraphElement
and
GraphPath
等於
GraphElement
and
GraphArc
等於
RealNumber
and
加成
路徑重量
GraphPath
and
RealNumber
(=>
(
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
等於
剩餘
Integer
and
Integer
and
Integer
等於
Integer
and 0
等於
Integer
and 0
等於
Integer
and 0
等於
正負號
Integer
and
正負號
Integer
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
等於
剩餘
Integer
and
Integer
and
Integer
等於
Integer
and 0
等於
加成
乘法
地板
部
Integer
and
Integer
and
Integer
and
Integer
and
Integer
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
等於
RealNumber
and
AverageFn
List
比較多
列表長度
List
and 0
等於
RealNumber
and
部
ListSumFn
List
and
列表長度
List
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
等於
RealNumber
and
ListSumFn
List
等於
1 and
列表長度
List
等於
RealNumber
and
清單順序
List
and 1
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
等於
RealNumber
and
ListSumFn
List
比較多
列表長度
List
and 1
等於
RealNumber
and
加成
List
的
first
and
ListSumFn
SubListFn
2,
列表長度
List
and
List
(=>
(
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
等於
List
and
List
等於
List
and
名單
@ROW1
等於
List
and
名單
@ROW2
等於
清單順序
名單
@ROW1 and
PositiveInteger
and
清單順序
名單
@ROW2 and
PositiveInteger
(=>
(
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
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1834-1841
等於
NumberList
and
PhysicalQuantityToNumberFn
MeasuringResultList
等於
PhysicalQuantity
and
清單順序
MeasuringResultList
and
PositiveInteger
等於
PositiveInteger
UM and
清單順序
NumberList
and
PositiveInteger
等於
測量
PositiveInteger
UM and
UnitOfMeasure
and
PhysicalQuantity
(=>
(
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
等於
SymbolicString
and
ReverseFn
SymbolicString
等於
NonnegativeInteger
and
SymbolicString
的
length
比較多
NonnegativeInteger
and 1
比較多
NonnegativeInteger
and 0
少於
NonnegativeInteger
and
NonnegativeInteger
等於
Integer
and
天花板
部
減法
NonnegativeInteger
and 1 and 2
等於
NonnegativeInteger
EW and
加成
減法
Integer
and
NonnegativeInteger
and
Integer
等於
SymbolicString
and
SymbolicString
的
sub
-string 從
NonnegativeInteger
對於
加成
1 and
NonnegativeInteger
等於
SymbolicString
and
SymbolicString
的
sub
-string 從
NonnegativeInteger
EW 對於
加成
1 and
NonnegativeInteger
EW
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 0))
(
equal
?R
NullList
))
Merge.kif 3170-3177
等於
List
and
SubListFn
Integer
,
Integer
and
List
等於
減法
Integer
and
Integer
and 0
等於
List
and
空列表
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
等於
減法
Integer
and
PositiveInteger
and 1
等於
List
and
名單
清單順序
List
and
PositiveInteger
(=>
(
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
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
比較多
減法
Integer
and
PositiveInteger
and 1
等於
List
and
列表連接
名單
清單順序
List
and
PositiveInteger
and
SubListFn
加成
1 and
PositiveInteger
,
Integer
and
List
(=>
(
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 2001-2013
等於
List
and
Mean3SecondWindSpeedListFn
GeographicArea
and
TimeInterval
在列表中
FunctionQuantity
and
List
TimeInterval
LIST
TimeInterval
等於
TimeInterval
LIST and
TimeIntervalListFn
TimeInterval
and
測量
3 and
第二期
在列表中
TimeInterval
and
TimeInterval
LIST
等於
FunctionQuantity
and
Mean3SecondWindSpeedFn
GeographicArea
and
TimeInterval
(=>
(
and
(
equal
?V
(
VarianceFn
?L))
(
equal
?M
(
AverageFn
?L)))
(
equal
?V
(
DivisionFn
(
VarianceAverageFn
?M ?L)
(
ListLengthFn
?L))))
Weather.kif 1471-1480
等於
RealNumber
and
VarianceFn
List
等於
RealNumber
and
AverageFn
List
等於
RealNumber
and
部
VarianceAverageFn
RealNumber
and
List
and
列表長度
List
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