instance
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
例
Abstract
and
股票指數
性能指標
例
性能指標
and
股票
性能指標
是
Abstract
的
benchmark
(<=>
(
instance
?L
Lamb
)
(
and
(
instance
?L
Sheep
)
(
attribute
?L
NonFullyFormed
)))
Mid-level-ontology.kif 20186-20190
例
Object
and
羔羊
例
Object
and
羊
attribute
Object
and
沒有完全形成
(<=>
(
instance
?Loan
SecuredLoan
)
(
exists
(?Security)
(
securedBy
?Loan ?Security)))
FinancialOntology.kif 1348-1351
例
金融賬戶
and
擔保貸款
抵押
抵押
是
金融賬戶
的
secured
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
例
RealNumber
and
NegativeRealNumber
少於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
例
RealNumber
and
NonnegativeRealNumber
大於或等於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
例
RealNumber
and
PositiveRealNumber
比較多
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
例
Organization
and
政府組織
例
Organization
and
Government
Organization
例
Organization
and
Government
子組織
Organization
and
Organization
(<=>
(
instance
?R
Rooster
)
(
and
(
instance
?R
Chicken
)
(
attribute
?R
Male
)))
Mid-level-ontology.kif 20241-20245
例
Object
and
公雞
例
Object
and
雞
attribute
Object
and
男
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
例
Entity
and
寬軌鐵路
屬性
Entity
and
寬規
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
例
Entity
and
DualGaugeRailway
屬性
Entity
and
雙軌鐵路
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
例
Entity
and
窄軌鐵路
屬性
Entity
and
窄規
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
例
Entity
and
標準軌距鐵路
屬性
Entity
and
標準規
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
例
GeopoliticalArea
and
StateOrProvince
例
政府
GeopoliticalArea
and
州政府
(<=>
(
instance
?VERT
Vertebrate
)
(
exists
(?SPINE)
(
and
(
instance
?VERT
Animal
)
(
component
?SPINE ?VERT)
(
instance
?SPINE
SpinalColumn
))))
Mid-level-ontology.kif 10944-10950
例
CorpuscularObject
and
Vertebrate
CorpuscularObject
例
CorpuscularObject
and
Animal
零件
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
脊柱
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 155-157
例
Entity
and
微分方程
例
Entity
and
方程
跟
微分屬性
的
attr
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 23252-23258
CaseRole
Process
and
Object
例
CaseRole
and
CaseRole
例
Process
and
Process
例
Object
and
Object
Object
對於
Process
在事件
CaseRole
plays
角色
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3165-3169
SymbolicString
是 在
Language
的
short
title
entity
-TYPE
例
Entity
and
entity
-TYPE
Entity
是
SymbolicString
的簡稱
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
actedIn
Human
and
內容承載物理
例
Process
and
戲劇表演
患者
Process
and
Human
結果
Process
and
內容承載物理
持有期間
何時
Process
and
attribute
Human
and
Actor
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
例
Entity
and
ArtWork
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Artist
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
TimePoint
是
協議
的
agreement
生效日期
授予義務
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
持有義務
Formula
and
CognitiveAgent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
TimePoint
是
協議
的
agreement
生效日期
賦予權利
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
堅持正確
Formula
and
CognitiveAgent
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
TimePosition
是
Proposition
的
agreement
生效其間
例
TimePosition
and
TimePosition
例
Formula
and
Formula
包含信息
Formula
and
Proposition
持有期間
TimePosition
and
Formula
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
Image
是在
Album
的
image
例
Object
and
Album
在
DataStorageDevice
的
set
複製
包含
SelfConnectedObject
and
Object
模態屬性
部分
Image
and
面前
SelfConnectedObject
and
容易
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
allergic
Human
and
Substance
例
Substance
UB and
Substance
持有期間
TimePosition
and
空間的符合
Substance
UB and
Human
模態屬性
entity
例
entity
and
AllergicReaction
體驗者
entity
and
Human
暫時重疊
TimePosition
and
何時
entity
之前
開始
TimePosition
and
開始
何時
entity
and
容易
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
Substance
,
CorpuscularObject
and
測量
RealNumber
and
UnitOfMass
例
Substance
I and
Substance
測量
Substance
I and
測量
RealNumber
and
UnitOfMass
部分
Substance
I and
CorpuscularObject
List
在列表中
測量
RealNumber
and
UnitOfMass
and
List
等於
List
and
AmountsFn
Substance
,
CorpuscularObject
and
UnitOfMass
等於
RealNumber
and
ListSumFn
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