Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
FlexorPollicisBrevisMuscle
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 1721-1723
(
documentation
property
JapaneseLanguage
"この
Predicate
は、E と A のインスタンスの間に 保持される。(
property
?ENTITY ?ATTR) とは、?ENTITY が
Attribute
?ATTR を有する、という 意味である。")
japanese_format.kif 315-317
(
domain
property
1
Entity
)
Merge.kif 1718-1718
特性
的 1 数量 是
实体
的
instance
(
domain
property
2
Attribute
)
Merge.kif 1719-1719
特性
的 2 数量 是
属性
的
instance
(
instance
property
BinaryPredicate
)
Merge.kif 1717-1717
特性
是
二元谓语
的
instance
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 1743-1743
抽象层次
是
特性
的
subrelation
(
subrelation
attribute
property
)
Merge.kif 1729-1729
属于
是
特性
的
subrelation
(
subrelation
complexity
property
)
QoSontology.kif 1632-1632
复杂
是
特性
的
subrelation
(
subrelation
designPattern
property
)
QoSontology.kif 1482-1482
设计模式
是
特性
的
subrelation
(
subrelation
environmentAttributes
property
)
QoSontology.kif 460-460
环境属性
是
特性
的
subrelation
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1584-1584
适应形式
是
特性
的
subrelation
(
subrelation
manner
property
)
Merge.kif 1741-1741
形式
是
特性
的
subrelation
(
subrelation
modalAttribute
property
)
Merge.kif 17476-17476
语气属性
是
特性
的
subrelation
(
subrelation
shape
property
)
Merge.kif 7670-7670
shape
是
特性
的
subrelation
(
subrelation
status
property
)
QoSontology.kif 905-905
状态
是
特性
的
subrelation
(
subrelation
strictness
property
)
QoSontology.kif 1673-1673
严格
是
特性
的
subrelation
(
subrelation
systemBehavior
property
)
QoSontology.kif 1451-1451
系统行为
是
特性
的
subrelation
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 3365-3375
实体
是
地区
的
instance
和
那个 实体
有
标准状况
的
attribute
在
时间位置
holdsDuring
若且唯若 298.15
凯文度
是
那个 实体
的
air
温度 和 29.530
英寸汞
是
那个 实体
的
barometric
压力 在
那个 时间位置
holdsDuring
(=>
(
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 469-477
如果 @ROW 是 的相反 和
equal
属性
and (@ROW) 的第
正整数
几个元素 和
equal
另一个 属性
and (@ROW) 的第
另一个 正整数
几个元素 和
equal
那个 正整数
and
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
attribute
,
然后
那个 另外 实体
不 有
那个 另外 属性
的
attribute
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2741-2745
如果
属性
是
时速级数属性
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
运动
的
instance
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 331-335
如果
属性
是
浦福氏风级属性
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
风
的
instance
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
如果
内容承载物理
是
ContractDocument
的
instance
和
那个 内容承载物理
contains
命题
的资料 和
那个 命题
有
合同
的
attribute
,
然后
那个 命题
有
法
的
attribute
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2775-2779
如果
属性
是
改良藤田级数
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
龙卷风
的
instance
(=>
(
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 2771-2783
如果
过程
是
执行一个选项
的
instance
和
协议
是
那个 过程
的
patient
和
那个 协议
有
看涨期权
的
attribute
和
那个 过程
在
时间位置
是 存在 和
金融工具
是
那个 协议
的
underlier
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
购买
的
instance
和
那个 金融工具
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 金融工具
的
measure
是 100
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 2785-2797
如果
过程
是
执行一个选项
的
instance
和
协议
是
那个 过程
的
patient
和
那个 协议
有
放选项
的
attribute
和
那个 过程
在
时间位置
是 存在 和
金融工具
是
那个 协议
的
underlier
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
出售
的
instance
和
那个 金融工具
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 金融工具
的
measure
是 100
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 3128-3142
如果
过程
是
飓风
的
instance
和
实体
是
萨菲尔辛普森飓风5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
157.0 和
那个 有认知的主事
believes
equal
那个 实数
英里每小時
and
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
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 3050-3069
如果
过程
是
飓风
的
instance
和
时速级数属性
是
萨菲尔辛普森飓风风力等级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
equal
那个 第三 实数
那个 测量单位
and
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 23889-23893
如果
属性
是
职业角色
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
有认知的主事
的
instance
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 234-239
如果
实体
是
有机物体
的
instance
和
另一个 实体
是
发育属性
的
instance
和
那个 实体
有
那个 另外 实体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 实体
的发育形态 是
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1274-1278
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
准连续路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1268-1272
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
瞬态路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1246-1250
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
动态数据流
的
attribute
,
然后
那个 实体
不 有
确定性数据流
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1240-1244
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
动态数据流
的
attribute
,
然后
那个 实体
不 有
随机数据流
的
attribute
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
如果
铁路
是
铁路
的
instance
和
那个 铁路
有
宽规
的
attribute
和
实数
仪表
是
那个 铁路
的
track
宽度,
然后
那个 实数
是
greaterThan
1.44
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
如果
铁路
是
铁路
的
instance
和
那个 铁路
有
窄规
的
attribute
和
实数
仪表
是
那个 铁路
的
track
宽度,
然后
那个 实数
是
lessThanOrEqualTo
1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
如果
铁路
是
铁路
的
instance
和
那个 铁路
有
标准规
的
attribute
和
实数
仪表
是
那个 铁路
的
track
宽度,
然后
那个 实数
是
greaterThanOrEqualTo
1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
如果
铁路
是
铁路
的
instance
和
那个 铁路
有
标准规
的
attribute
和
实数
仪表
是
那个 铁路
的
track
宽度,
然后
那个 实数
是
lessThanOrEqualTo
1.44
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 3044-3048
如果
属性
是
萨菲尔辛普森飓风风力等级
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
飓风
的
instance
(=>
(
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 2876-2890
如果
过程
是
龙卷风
的
instance
和
实体
是
改良藤田5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
200.0 和
那个 有认知的主事
believes
equal
那个 实数
英里每小時
and 在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
(=>
(
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 2781-2799
如果
过程
是
龙卷风
的
instance
和
时速级数属性
是
改良藤田级数
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
英里每小時
和
另一个 实数
英里每小時
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
equal
那个 第三 实数
英里每小時
and 在
那个 过程
出现 的
time
时间结束以前, 发生在区域
那个 客体
的
ThreeSecondGustSpeedFn
(3秒阵风风速)
(=>
(
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 472-484
如果
过程
是
风
的
instance
和
实体
是
浦氏12风级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
73.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
是
那个 客体
的
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 337-354
如果
过程
是
风
的
instance
和
时速级数属性
是
浦福氏风级属性
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
是
那个 客体
的
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 3277-3283
协议
employs
另一个 协议
若且唯若 有存在
有认知的主事
这样
那个 有认知的主事
有
雇用
的
attribute
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 1098-1101
有存在
电脑程序
这样
电脑程序
是
那个 电脑程序
的执行
program
若且唯若
那个 电脑程序
有
可执行
的
attribute
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
实体
是
宽轨铁路
的
instance
若且唯若
那个 实体
有
宽规
的
attribute
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
实体
是
DualGaugeRailway
的
instance
若且唯若
那个 实体
有
双轨铁路
的
attribute
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
实体
是
窄轨铁路
的
instance
若且唯若
那个 实体
有
窄规
的
attribute
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
实体
是
标准轨距铁路
的
instance
若且唯若
那个 实体
有
标准规
的
attribute
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 15426-15429
如果
协议
有
expiration
时点
,
然后
那个 协议
不 有
ActiveAgreement
的
attribute
在
那个 时点
之后
holdsDuring
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 15387-15392
如果
时距
是
协议
的
agreement
週期 和
时点
是
那个 协议
的
agreement
生效日期,
然后
那个 协议
有
ActiveAgreement
的
attribute
在
time
开始在
那个 时点
并且 持续到
那个 时距
holdsDuring
(=>
(
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 17507-17520
如果
属性
是
客体
的
attribute
和
那个 属性
是
主观评价属性
的
instance
,
然后 有存在
时间位置
,
过程
, and 和
施事体
这样
那个 过程
是
判断
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 属性
是
那个 客体
的
attribute
是
那个 过程
的
result
和
那个 施事体
believes
那个 客体
有
那个 属性
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
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 469-477
如果 @ROW 是 的相反 和
equal
属性
and (@ROW) 的第
正整数
几个元素 和
equal
另一个 属性
and (@ROW) 的第
另一个 正整数
几个元素 和
equal
那个 正整数
and
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
attribute
,
然后
那个 另外 实体
不 有
那个 另外 属性
的
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 1178-1187
如果
金融账户
是
责任账户
的
instance
和
协议
持有
account
那个 金融账户
和
那个 金融账户
是被
另一个 协议
held
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
有
责任
的
attribute
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
如果
内容承载物理
是
ContractDocument
的
instance
和
那个 内容承载物理
contains
命题
的资料 和
那个 命题
有
合同
的
attribute
,
然后
那个 命题
有
法
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1274-1278
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
准连续路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1268-1272
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
瞬态路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1246-1250
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
动态数据流
的
attribute
,
然后
那个 实体
不 有
确定性数据流
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1240-1244
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
动态数据流
的
attribute
,
然后
那个 实体
不 有
随机数据流
的
attribute
(=>
(
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
如果
实体
_COLL 是
群体
的
instance
和
另一个 实体
_COLL 是
群体
的
instance
和
试验
是
试验
的
instance
和
有认知的主事
是
有认知的主事
的
instance
和
那个 有认知的主事
是
那个 试验
的
agent
和
那个 实体
_COLL 是
那个 另外 实体
_COLL 的
sample
对于
那个 试验
,
然后 对所有
属性
如果
那个 属性
是
属性
的
instance
和
那个 实体
_COLL 有
那个 属性
的
attribute
和
那个 有认知的主事
对
那个 属性
感兴趣 和
equal
那个 属性
and
RepresentativeSample
,
然后
那个 另外 实体
_COLL 有
那个 属性
的
attribute
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2729-2733
如果
协议
有
股票期权
的
attribute
和
金融工具
是
那个 协议
的
underlier
,
然后
那个 金融工具
有
普通股
的
attribute
(=>
(
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 2815-2828
如果
时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
物理
和
第三 实数
这样
那个 物理
是
运动
的
instance
和
那个 物理
有
那个 时速级数属性
的
attribute
和
那个 物理
的
measure
是
那个 第三 实数
那个 测量单位
和
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
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 22440-22453
如果
有认知的主事
有
contract
去
build
固定人工制品
,
然后 有存在
协议
和
另一个 有认知的主事
这样
那个 协议
有
合同
的
attribute
和
那个 协议
是
那个 另外 有认知的主事
的
party
协议 和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 有认知的主事
要求
那个 有认知的主事
执行 有存在
实体
和
那个 固定人工制品
2 这样
那个 实体
是
建筑
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 固定人工制品
2 是
那个 实体
的
result
和
那个 固定人工制品
2 是
固定人工制品
的
instance
的任务
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1323-1327
如果
正整数
计算机路径
的
data
松弛,
然后
那个 计算机路径
有
连续路径
的
attribute
或
那个 计算机路径
有
准连续路径
的
attribute
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 261-266
如果
equal
属性
and
另一个 属性
,
然后 对所有
实体
那个 实体
有
那个 属性
的
attribute
若且唯若
那个 实体
有
那个 另外 属性
的
attribute
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 254-259
如果
equal
实体
and
另一个 实体
,
然后 对所有
属性
那个 实体
有
那个 属性
的
attribute
若且唯若
那个 另外 实体
有
那个 属性
的
attribute
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
如果
过程
是
aqiqah
的
instance
,
然后 有存在
那个 过程
GENT 这样
那个 过程
GENT 是
那个 过程
的
agent
和
那个 过程
有
穆斯林
的
attribute
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 65-69
如果
实体
是
金融账户
的
instance
,
然后
那个 实体
有
金融合约
的
attribute
和
那个 实体
有
服务合同
的
attribute
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 32501-32501
Cheetah
有
VulnerableSpecies
的
attribute
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 32477-32477
Crocodile
有
LeastConcernSpecies
的
attribute
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 32518-32518
Ferret
有
LeastConcernSpecies
的
attribute
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 32536-32536
GuineaPig
有
LeastConcernSpecies
的
attribute
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 32548-32548
Hamster
有
LeastConcernSpecies
的
attribute
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 32407-32407
Lemur
有
CriticallyEndangeredSpecies
的
attribute
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 32292-32292
Lion
有
VulnerableSpecies
的
attribute
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 32437-32437
Octopus
有
LeastConcernSpecies
的
attribute
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 32424-32424
Panda
有
VulnerableSpecies
的
attribute
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 32390-32390
Parrot
有
LeastConcernSpecies
的
attribute
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 32459-32459
驯鹿
有
VulnerableSpecies
的
attribute
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 32367-32367
Rhinoceros
有
濒危物种
的
attribute
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 32347-32347
Tiger
有
濒危物种
的
attribute
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