CardinalityFn
(=>
(
atomicNumber
?TYPE ?NUMBER)
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
part
?ATOM ?SUBSTANCE)
(
instance
?ATOM
Atom
))
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?PROTON
(
and
(
part
?PROTON ?ATOM)
(
instance
?PROTON
Proton
)))))))
Merge.kif 13778-13790
PositiveInteger
是
ElementalSubstance
的
atomic
數字
例
Object
and
ElementalSubstance
部分
Object
and
Object
例
Object
and
Atom
等於
PositiveInteger
and
基數
卡帕
SymbolicString
and
部分
SymbolicString
and
Object
例
SymbolicString
and
Proton
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22173-22182
attribute
Object
and
名人
比較多
entity
基數
卡帕
entity
and
知道
entity
and
entity
等於
entity
and
Object
and 1000
(=>
(
cardinality
?SET ?COUNT)
(
equal
(
CardinalityFn
?SET) ?COUNT))
Government.kif 442-444
NonnegativeInteger
是
SetOrClass
的
cardinality
等於
基數
SetOrClass
and
NonnegativeInteger
(=>
(
communicationSatelliteForArea
?AREA ?SATELLITETYPE ?INTEGER)
(
equal
?INTEGER
(
CardinalityFn
(
KappaFn
?SATELLITE
(
and
(
instance
?SATELLITE ?SATELLITETYPE)
(
instance
?SYSTEM
CommunicationSystem
)
(
located
?SYSTEM ?AREA)
(
engineeringSubcomponent
?SATELLITE ?SYSTEM))))))
Communications.kif 142-151
那 有
Integer
communiation
衛星
類型的衛星在
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
衛星
例
entity
and
通訊系統
位於
entity
and
GeopoliticalArea
工程子組件
SymbolicString
and
entity
(=>
(
electronNumber
?SUBSTANCE ?NUMBER)
(=>
(
exists
(?ATOM)
(
and
(
part
?ATOM ?SUBSTANCE)
(
or
(
instance
?ATOM
Atom
)
(
instance
?ATOM
Molecule
))))
(
exists
(?ELECTRON)
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?ELECTRON
(
and
(
part
?ELECTRON ?ATOM)
(
instance
?ELECTRON
Electron
))))))))
Mid-level-ontology.kif 21713-21728
PositiveInteger
是
PureSubstance
的
electron
號碼
Object
部分
Object
and
PureSubstance
例
Object
and
Atom
例
Object
and
Molecule
SymbolicString
等於
PositiveInteger
and
基數
卡帕
SymbolicString
and
部分
SymbolicString
and
Object
例
SymbolicString
and
Electron
(=>
(
equal
(
PerCapitaFn
(
MeasureFn
?QUANTITY1 ?U) ?AREA)
(
MeasureFn
?QUANTITY2 ?U))
(
exists
(?POPULATION)
(
and
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA)))
(
equal
?QUANTITY2
(
DivisionFn
?QUANTITY1 ?POPULATION)))))
Mid-level-ontology.kif 8062-8075
等於
%2 的
per
capita
1 and
測量
RealNumber
and
UnitOfMeasure
Integer
等於
Integer
and
基數
GeopoliticalArea
的
resident
等於
RealNumber
and
部
RealNumber
and
Integer
(=>
(
exactCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
equal
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2125-2134
那只能是
Integer
values
對於
Relation
的參數
Integer
SymbolicString
@ARGS
等於
基數
卡帕
SymbolicString
and
Relation
@ARGS
等於
SymbolicString
and
清單順序
名單
@ARGS and
Integer
and
Integer
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
例
Entity
and
盒
等於
基數
卡帕
SymbolicString
and
上
SymbolicString
and
Entity
底部
SymbolicString
and
Entity
側
SymbolicString
and
Entity
and 6
(=>
(
instance
?CITY
AmericanCity
)
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
NewYorkCityUnitedStates
))))
CountriesAndRegions.kif 2131-2135
例
GeopoliticalArea
and
美國城市
小於或等於
基數
GeopoliticalArea
的
resident
and
基數
紐約市美國
的
resident
(=>
(
instance
?DAY
Day
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?DAY
Hour
)) 24))
Merge.kif 9473-9475
例
TimeInterval
and
Day
等於
基數
時間構成
TimeInterval
and
Hour
and 24
(=>
(
instance
?HOUR
Hour
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?HOUR
Minute
)) 60))
Merge.kif 9477-9479
例
TimeInterval
and
Hour
等於
基數
時間構成
TimeInterval
and
Minute
and 60
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
例
Entity
and
儲錢貸款
等於
基數
卡帕
SymbolicString
and
SymbolicString
lends
Entity
and 2
(=>
(
instance
?MINUTE
Minute
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?MINUTE
Second
)) 60))
Merge.kif 9481-9483
例
TimeInterval
and
Minute
等於
基數
時間構成
TimeInterval
and
Second
and 60
(=>
(
instance
?QUAD
Quadrilateral
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 4916-4921
例
Entity
and
四邊形
等於
基數
卡帕
SymbolicString
and
圖的一面
SymbolicString
and
Entity
and 4
(=>
(
instance
?SET
FiniteSet
)
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER
NonnegativeInteger
)
(
equal
?NUMBER
(
CardinalityFn
?SET)))))
Merge.kif 5542-5547
例
Entity
and
FiniteSet
Integer
例
Integer
and
NonnegativeInteger
等於
Integer
and
基數
Entity
(=>
(
instance
?Straddle
Straddle
)
(
exists
(?Call ?Price ?Date ?Number ?Put)
(
and
(
equal
(
CardinalityFn
(
KappaFn
?Call
(
and
(
instance
?Call
CallOption
)
(
part
?Call ?Straddle)))) ?Number)
(
equal
(
CardinalityFn
(
KappaFn
?Put
(
and
(
instance
?Put
PutOption
)
(
part
?Put ?Straddle)))) ?Number)
(
forall
(?Option)
(=>
(
and
(
instance
?Option
Option
)
(
part
?Option ?Straddle))
(
and
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)))))))
FinancialOntology.kif 3149-3173
例
Object
and
跨
SymbolicString
CurrencyMeasure
,
TimePoint
,
Integer
and
SymbolicString
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
看漲期權
部分
SymbolicString
and
Object
and
Integer
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
放選項
部分
SymbolicString
and
Object
and
Integer
協議
例
協議
and
選項
部分
協議
and
Object
協議
有
expiration
TimePoint
CurrencyMeasure
是
協議
的
strike
價錢
(=>
(
instance
?Strategy
SingleOption
)
(
equal
(
CardinalityFn
(
KappaFn
?Option
(
patient
?Strategy ?Option))) 1))
FinancialOntology.kif 3088-3090
例
Entity
and
單一選擇
等於
基數
卡帕
SymbolicString
and
患者
Entity
and
SymbolicString
and 1
(=>
(
instance
?TRIANGLE
Triangle
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4896-4901
例
Entity
and
三角形
等於
基數
卡帕
SymbolicString
and
圖的一面
SymbolicString
and
Entity
and 3
(=>
(
instance
?WEEK
Week
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?WEEK
Day
)) 7))
Merge.kif 9469-9471
例
TimeInterval
and
Week
等於
基數
時間構成
TimeInterval
and
Day
and 7
(=>
(
instance
?YEAR
Year
)
(
equal
(
CardinalityFn
(
TemporalCompositionFn
?YEAR
Month
)) 12))
Merge.kif 9459-9461
例
TimeInterval
and
年
等於
基數
時間構成
TimeInterval
and
Month
and 12
(=>
(
maxCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
lessThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2198-2207
那裡能有最多 %3
values
對於 1% 的 參數 2%
SymbolicString
@ARGS
小於或等於
基數
卡帕
SymbolicString
and
Relation
@ARGS
等於
SymbolicString
and
清單順序
名單
@ARGS and
Integer
and
Integer
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
PositiveInteger
是
ComputerProgram
的
maximum
複製
大於或等於
PositiveInteger
and
基數
卡帕
SymbolicString
and
ComputerProgram
是
SymbolicString
的執行
program
(=>
(
memberCount
?ORG ?NUM)
(
equal
?NUM
(
CardinalityFn
(
KappaFn
?MEM
(
member
?MEM ?ORG)))))
Mid-level-ontology.kif 22640-22646
Integer
是
Collection
的
member
計數
等於
Integer
and
基數
卡帕
SymbolicString
and
會員
SymbolicString
and
Collection
(=>
(
minCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2161-2170
那裡至少有
Integer
values
對於
Relation
的參數
Integer
SymbolicString
@ARGS
大於或等於
基數
卡帕
SymbolicString
and
Relation
@ARGS
等於
SymbolicString
and
清單順序
名單
@ARGS and
Integer
and
Integer
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
PositiveInteger
是
ComputerProgram
的
minimum
複製
大於或等於
基數
卡帕
SymbolicString
and
ComputerProgram
是
SymbolicString
的執行
program
and
PositiveInteger
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