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 数量 是
实体
的
instance
(
domain
property
2
Attribute
)
Merge.kif 1709-1709
特性
的 2 数量 是
属性
的
instance
(
instance
property
BinaryPredicate
)
Merge.kif 1707-1707
特性
是
二元谓语
的
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 1617-1617
抽象层次
是
特性
的
subrelation
(
subrelation
attribute
property
)
Merge.kif 1719-1719
属于
是
特性
的
subrelation
(
subrelation
complexity
property
)
QoSontology.kif 1514-1514
复杂
是
特性
的
subrelation
(
subrelation
designPattern
property
)
QoSontology.kif 1373-1373
设计模式
是
特性
的
subrelation
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
环境属性
是
特性
的
subrelation
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
适应形式
是
特性
的
subrelation
(
subrelation
manner
property
)
Merge.kif 1731-1731
形式
是
特性
的
subrelation
(
subrelation
modalAttribute
property
)
Merge.kif 17323-17323
语气属性
是
特性
的
subrelation
(
subrelation
shape
property
)
Mid-level-ontology.kif 25574-25574
shape
是
特性
的
subrelation
(
subrelation
status
property
)
QoSontology.kif 796-796
状态
是
特性
的
subrelation
(
subrelation
strictness
property
)
QoSontology.kif 1553-1553
严格
是
特性
的
subrelation
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
系统行为
是
特性
的
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 2676-2686
实体
是
地区
的
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 476-484
如果 @ROW 是 的相反 和
属性
equal
(@ROW) 的第
正整数
几个元素 和
另一个 属性
equal
(@ROW) 的第
另一个 正整数
几个元素 和
那个 正整数
不
equal
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
attribute
,
然后
那个 另外 实体
不 有
那个 另外 属性
的
attribute
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2052-2056
如果
属性
是
时速级数属性
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
运动
的
instance
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 343-347
如果
属性
是
浦福氏风级属性
的
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 2086-2090
如果
属性
是
改良藤田级数
的
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 2754-2766
如果
过程
是
执行一个选项
的
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 2768-2780
如果
过程
是
执行一个选项
的
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 2439-2453
如果
过程
是
飓风
的
instance
和
实体
是
萨菲尔辛普森飓风5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
157.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
equal
那个 客体
地区在
那个 过程
出现 的
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 2361-2380
如果
过程
是
飓风
的
instance
和
时速级数属性
是
萨菲尔辛普森飓风风力等级
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
那个 测量单位
equal
那个 客体
地区在
那个 过程
出现 的
time
时段的
Mean1MinuteWindSpeedFn
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 22247-22251
如果
属性
是
职业角色
的
instance
和
实体
有
那个 属性
的
attribute
,
然后
那个 实体
是
有认知的主事
的
instance
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
如果
实体
是
有机物体
的
instance
和
另一个 实体
是
发育属性
的
instance
和
那个 实体
有
那个 另外 实体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 实体
的发育形态 是
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
准连续路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
瞬态路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
动态数据流
的
attribute
,
然后
那个 实体
不 有
确定性数据流
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
如果
实体
是
计算机路径
的
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 2355-2359
如果
属性
是
萨菲尔辛普森飓风风力等级
的
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 2187-2201
如果
过程
是
龙卷风
的
instance
和
实体
是
改良藤田5
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 实体
的
attribute
,
然后 有存在
实数
这样
那个 实数
是
greaterThan
200.0 和
那个 有认知的主事
believes
那个 实数
英里每小時
equal
在
那个 过程
出现 的
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 2092-2110
如果
过程
是
龙卷风
的
instance
和
时速级数属性
是
改良藤田级数
的
instance
和
那个 过程
是
located
在
客体
和
有认知的主事
believes
那个 过程
有
那个 时速级数属性
的
attribute
和
那个 时速级数属性
的最低和最高是
实数
英里每小時
和
另一个 实数
英里每小時
,
然后 有存在
第三 实数
这样
那个 第三 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 第三 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 有认知的主事
believes
那个 第三 实数
英里每小時
equal
在
那个 过程
出现 的
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 484-496
如果
过程
是
风
的
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 349-366
如果
过程
是
风
的
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 3260-3266
协议
employs
另一个 协议
若且唯若 有存在
有认知的主事
这样
那个 有认知的主事
有
雇用
的
attribute
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
有存在
电脑程序
这样
电脑程序
是
那个 电脑程序
的执行
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 14054-14057
如果
协议
有
expiration
时点
,
然后
那个 协议
不 有
ActiveAgreement
的
attribute
在
那个 时点
之后
holdsDuring
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14015-14020
如果
时距
是
协议
的
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 17354-17367
如果
属性
是
客体
的
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 476-484
如果 @ROW 是 的相反 和
属性
equal
(@ROW) 的第
正整数
几个元素 和
另一个 属性
equal
(@ROW) 的第
另一个 正整数
几个元素 和
那个 正整数
不
equal
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
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 1162-1171
如果
金融账户
是
责任账户
的
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 1165-1169
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
准连续路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
连续路径
的
attribute
,
然后
那个 实体
不 有
瞬态路径
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
如果
实体
是
计算机路径
的
instance
和
那个 实体
有
动态数据流
的
attribute
,
然后
那个 实体
不 有
确定性数据流
的
attribute
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
如果
实体
是
计算机路径
的
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
RepresentativeSample
,
然后
那个 另外 实体
_COLL 有
那个 属性
的
attribute
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
如果
协议
有
股票期权
的
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 2126-2139
如果
时速级数属性
的最低和最高是
实数
测量单位
和
另一个 实数
那个 测量单位
和
那个 测量单位
是
测量单位
的
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 20822-20835
如果
有认知的主事
有
contract
去
build
固定人工制品
,
然后 有存在
协议
和
另一个 有认知的主事
这样
那个 协议
有
合同
的
attribute
和
那个 协议
是
那个 另外 有认知的主事
的
party
协议 和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 有认知的主事
要求
那个 有认知的主事
执行 有存在
实体
和
那个 固定人工制品
2 这样
那个 实体
是
建筑
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 固定人工制品
2 是
那个 实体
的
result
和
那个 固定人工制品
2 是
固定人工制品
的
instance
的任务
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
如果
正整数
计算机路径
的
data
松弛,
然后
那个 计算机路径
有
连续路径
的
attribute
或
那个 计算机路径
有
准连续路径
的
attribute
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
如果
属性
equal
另一个 属性
,
然后 对所有
实体
那个 实体
有
那个 属性
的
attribute
若且唯若
那个 实体
有
那个 另外 属性
的
attribute
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
如果
实体
equal
另一个 实体
,
然后 对所有
属性
那个 实体
有
那个 属性
的
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 63-67
如果
实体
是
金融账户
的
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 30555-30555
Cheetah
有
VulnerableSpecies
的
attribute
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30531-30531
Crocodile
有
LeastConcernSpecies
的
attribute
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30572-30572
Ferret
有
LeastConcernSpecies
的
attribute
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30590-30590
GuineaPig
有
LeastConcernSpecies
的
attribute
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30602-30602
Hamster
有
LeastConcernSpecies
的
attribute
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 30461-30461
Lemur
有
CriticallyEndangeredSpecies
的
attribute
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 30362-30362
Lion
有
VulnerableSpecies
的
attribute
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30491-30491
Octopus
有
LeastConcernSpecies
的
attribute
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 30478-30478
Panda
有
VulnerableSpecies
的
attribute
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 30444-30444
Parrot
有
LeastConcernSpecies
的
attribute
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30513-30513
驯鹿
有
VulnerableSpecies
的
attribute
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 30421-30421
Rhinoceros
有
濒危物种
的
attribute
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 30401-30401
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