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
property
Sigma KEE - property
property
appearance as argument number 1
(
documentation
property
ChineseLanguage
"这个
Predicate
在
Entity
的实例和
Attribute
的 实例成立。(
property
?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的
Attribute
。")
chinese_format.kif 1712-1713
(
documentation
property
EnglishLanguage
"This
Predicate
holds between an instance of
Entity
and an instance of
Attribute
. (
property
?ENTITY ?ATTR) means that ?ENTITY has the
Attribute
?ATTR.")
Merge.kif 1711-1713
(
documentation
property
JapaneseLanguage
"この
Predicate
は、E と A のインスタンスの間に 保持される。(
property
?ENTITY ?ATTR) とは、?ENTITY が
Attribute
?ATTR を有する、という 意味である。")
japanese_format.kif 315-317
(
domain
property
1
Entity
)
Merge.kif 1708-1708
域
屬性
, 1 and
Entity
(
domain
property
2
Attribute
)
Merge.kif 1709-1709
域
屬性
, 2 and
Attribute
(
instance
property
BinaryPredicate
)
Merge.kif 1707-1707
例
屬性
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
property
"%1 %n 有 %2 的
attribute
")
chinese_format.kif 177-177
(
format
EnglishLanguage
property
"%1 %n{does not have} the
attribute
%2")
english_format.kif 178-178
(
format
FrenchLanguage
property
"%1 a %n un
attribute
%2")
french_format.kif 108-108
(
format
ItalianLanguage
property
"%1 ha %n un attributo %2")
relations-it.txt 235-235
(
format
JapaneseLanguage
property
"%1 には
attribute
%2 %n{ない}")
japanese_format.kif 1937-1937
(
format
PortugueseLanguage
property
"%1 tem %n um atributo de %2")
portuguese_format.kif 60-60
(
format
cz
property
"%1 %n{ne}m� atribut %2")
relations-cz.txt 72-72
(
format
de
property
"%1 hat ein attribut %2 %n{nicht}")
relations-de.txt 223-223
(
format
hi
property
"%2 %1 kii eka visheshhataa %n hai")
relations-hindi.txt 273-273
(
format
ro
property
"%1 %n{nu} are
attribute
%t{atributul} %2")
relations-ro.kif 127-127
(
format
sv
property
"%1 har %n{inte} egenskapen %2")
relations-sv.txt 113-113
(
format
tg
property
"%1 %n mayroon ay ang katangian ng %2")
relations-tg.txt 427-427
(
subrelation
abstractionLevel
property
)
QoSontology.kif 1617-1617
子關係
抽象層次
and
屬性
(
subrelation
attribute
property
)
Merge.kif 1719-1719
子關係
attribute
and
屬性
(
subrelation
complexity
property
)
QoSontology.kif 1514-1514
子關係
複雜
and
屬性
(
subrelation
designPattern
property
)
QoSontology.kif 1373-1373
子關係
設計模式
and
屬性
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
子關係
環境屬性
and
屬性
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
子關係
適應形式
and
屬性
(
subrelation
manner
property
)
Merge.kif 1731-1731
子關係
方式
and
屬性
(
subrelation
modalAttribute
property
)
Merge.kif 17323-17323
子關係
模態屬性
and
屬性
(
subrelation
shape
property
)
Mid-level-ontology.kif 25574-25574
子關係
shape
and
屬性
(
subrelation
status
property
)
QoSontology.kif 796-796
子關係
狀態
and
屬性
(
subrelation
strictness
property
)
QoSontology.kif 1553-1553
子關係
嚴格
and
屬性
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
子關係
系統行為
and
屬性
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 2676-2686
例
Entity
and
Region
持有期間
TimePosition
and
屬性
Entity
and
StandardAmbientTemperaturePressure
持有期間
TimePosition
and
測量
298.15 and
凱文度
是
Entity
的
air
溫度
測量
29.530 and
英寸汞
是
Entity
的
barometric
壓力
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
相反的屬性
@ROW
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
PositiveInteger
and
PositiveInteger
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2052-2056
例
Attribute
and
SpeedScaleAttribute
屬性
Entity
and
Attribute
例
Entity
and
Motion
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 343-347
例
Attribute
and
BeaufortNumberAttribute
屬性
Entity
and
Attribute
例
Entity
and
風
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
例
內容承載物理
and
ContractDocument
包含信息
內容承載物理
and
Proposition
屬性
Proposition
and
合同
屬性
Proposition
and
法
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2086-2090
例
Attribute
and
EFScaleAttribute
屬性
Entity
and
Attribute
例
Entity
and
龍捲風
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
例
Process
and
執行一個選項
患者
Process
and
協議
屬性
協議
and
看漲期權
時間
Process
and
TimePosition
金融工具
是
協議
的
underlier
Process
例
Process
and
Buying
患者
Process
and
金融工具
時間
Process
and
TimePosition
測量
金融工具
and
測量
100 and
ShareUnit
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
例
Process
and
執行一個選項
患者
Process
and
協議
屬性
協議
and
放選項
時間
Process
and
TimePosition
金融工具
是
協議
的
underlier
Process
例
Process
and
Selling
患者
Process
and
金融工具
時間
Process
and
TimePosition
測量
金融工具
and
測量
100 and
ShareUnit
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2439-2453
例
Process
and
颶風
例
Entity
and
SSHWS5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 157.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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 2361-2380
例
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
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 22247-22251
例
Attribute
and
職業角色
屬性
Entity
and
Attribute
例
Entity
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
例
Entity
and
OrganicObject
例
Entity
and
DevelopmentalAttribute
持有期間
TimePosition
and
屬性
Entity
and
Entity
持有期間
TimePosition
and
發展形式
Entity
and
Entity
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
例
Entity
and
計算機路徑
屬性
Entity
and
連續路徑
屬性
Entity
and
準連續路徑
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
例
Entity
and
計算機路徑
屬性
Entity
and
連續路徑
屬性
Entity
and
瞬態路徑
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
例
Entity
and
計算機路徑
屬性
Entity
and
動態數據流
屬性
Entity
and
確定性數據流
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
例
Entity
and
計算機路徑
屬性
Entity
and
動態數據流
屬性
Entity
and
隨機數據流
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
例
鐵路
and
鐵路
屬性
鐵路
and
寬規
測量
RealNumber
and
儀表
是
鐵路
的
track
寬度
比較多
RealNumber
and 1.44
(=>
(
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
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
例
鐵路
and
鐵路
屬性
鐵路
and
標準規
測量
RealNumber
and
儀表
是
鐵路
的
track
寬度
大於或等於
RealNumber
and 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
例
鐵路
and
鐵路
屬性
鐵路
and
標準規
測量
RealNumber
and
儀表
是
鐵路
的
track
寬度
小於或等於
RealNumber
and 1.44
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 2355-2359
例
Attribute
and
SSHWSAttribute
屬性
Entity
and
Attribute
例
Entity
and
颶風
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2187-2201
例
Process
and
龍捲風
例
Entity
and
EF5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 200.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2092-2110
例
Process
and
龍捲風
例
SpeedScaleAttribute
and
EFScaleAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
MilesPerHour
and
測量
RealNumber
and
MilesPerHour
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
例
Process
and
風
例
Entity
and
BeaufortNumber12
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 73.0
相信
CognitiveAgent
and
測量
RealNumber
and
MilesPerHour
是
Object
的
surface
風速
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
例
Process
and
風
例
SpeedScaleAttribute
and
BeaufortNumberAttribute
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
是
Object
的
surface
風速
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
採用
協議
and
協議
CognitiveAgent
屬性
CognitiveAgent
and
僱用
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
電腦程序
ComputerProgram
是
電腦程序
的執行
program
屬性
ComputerProgram
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
標準規
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14054-14057
協議
有
expiration
TimePoint
持有期間
未來
TimePoint
and
屬性
協議
and
ActiveAgreement
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14015-14020
TimeInterval
是
協議
的
agreement
週期
TimePoint
是
協議
的
agreement
生效日期
持有期間
time
開始在
TimePoint
並且 持續到
TimeInterval
and
屬性
協議
and
ActiveAgreement
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17354-17367
attribute
Object
and
Attribute
例
Attribute
and
SubjectiveAssessmentAttribute
TimePosition
Process
and
AutonomousAgent
例
Process
and
判斷
agent
Process
and
AutonomousAgent
患者
Process
and
Object
結果
Process
and
attribute
Object
and
Attribute
持有期間
TimePosition
and
相信
AutonomousAgent
and
屬性
Object
and
Attribute
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
相反的屬性
@ROW
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
PositiveInteger
and
PositiveInteger
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
例
金融賬戶
and
責任賬戶
協議
持有
account
金融賬戶
金融賬戶
是被
協議
held
CognitiveAgent
屬性
CognitiveAgent
and
責任
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
例
內容承載物理
and
ContractDocument
包含信息
內容承載物理
and
Proposition
屬性
Proposition
and
合同
屬性
Proposition
and
法
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
例
Entity
and
計算機路徑
屬性
Entity
and
連續路徑
屬性
Entity
and
準連續路徑
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
例
Entity
and
計算機路徑
屬性
Entity
and
連續路徑
屬性
Entity
and
瞬態路徑
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
例
Entity
and
計算機路徑
屬性
Entity
and
動態數據流
屬性
Entity
and
確定性數據流
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
例
Entity
and
計算機路徑
屬性
Entity
and
動態數據流
屬性
Entity
and
隨機數據流
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
CognitiveAgent
)
(
agent
?EXPERIMENT ?AGENT)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
forall
(?ATTRIBUTE)
(=>
(
and
(
instance
?ATTRIBUTE
Attribute
)
(
property
?SAMPLE_COLL ?ATTRIBUTE)
(
inScopeOfInterest
?AGENT ?ATTRIBUTE)
(
not
(
equal
?ATTRIBUTE
RepresentativeSample
)))
(
property
?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
例
entity
_COLL and
Collection
例
entity
_COLL and
Collection
例
試驗
and
試驗
例
CognitiveAgent
and
CognitiveAgent
agent
試驗
and
CognitiveAgent
entity
_COLL 是
entity
_COLL 的
sample
對於
試驗
Attribute
例
Attribute
and
Attribute
屬性
entity
_COLL and
Attribute
在感興趣的範圍內
CognitiveAgent
and
Attribute
等於
Attribute
and
RepresentativeSample
屬性
entity
_COLL and
Attribute
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
屬性
協議
and
股票期權
金融工具
是
協議
的
underlier
屬性
金融工具
and
普通股
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2126-2139
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
Physical
RealNumber
例
Physical
and
Motion
屬性
Physical
and
SpeedScaleAttribute
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 20822-20835
CognitiveAgent
有
contract
去
build
StationaryArtifact
協議
CognitiveAgent
屬性
協議
and
合同
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
授予義務
entity
StationaryArtifact
2
例
entity
and
Constructing
agent
entity
and
CognitiveAgent
結果
entity
and
StationaryArtifact
2
例
StationaryArtifact
2 and
StationaryArtifact
,
CognitiveAgent
and
CognitiveAgent
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
PositiveInteger
是
計算機路徑
的
data
鬆弛
屬性
計算機路徑
and
連續路徑
屬性
計算機路徑
and
準連續路徑
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
等於
Attribute
and
Attribute
Entity
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
等於
Entity
and
Entity
Attribute
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
例
Process
and
aqiqah
Process
GENT
agent
Process
and
Process
GENT
屬性
Process
and
穆斯林
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 63-67
例
Entity
and
金融賬戶
屬性
Entity
and
金融合約
屬性
Entity
and
服務合同
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
property
Cheetah
VulnerableSpecies
)
Mid-level-ontology.kif 30555-30555
屬性
Cheetah
and
VulnerableSpecies
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30531-30531
屬性
Crocodile
and
LeastConcernSpecies
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30572-30572
屬性
Ferret
and
LeastConcernSpecies
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30590-30590
屬性
GuineaPig
and
LeastConcernSpecies
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30602-30602
屬性
Hamster
and
LeastConcernSpecies
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 30461-30461
屬性
Lemur
and
CriticallyEndangeredSpecies
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 30362-30362
屬性
Lion
and
VulnerableSpecies
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30491-30491
屬性
Octopus
and
LeastConcernSpecies
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 30478-30478
屬性
Panda
and
VulnerableSpecies
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 30444-30444
屬性
Parrot
and
LeastConcernSpecies
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30513-30513
屬性
馴鹿
and
VulnerableSpecies
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 30421-30421
屬性
Rhinoceros
and
瀕危物種
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 30401-30401
屬性
Tiger
and
瀕危物種
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