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
WhenFn
Sigma KEE - WhenFn
WhenFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2736-2738
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8471-8474
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1462-1464
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8468-8468
何时函数
的 1 数量 是
物理
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8465-8465
何时函数
是
时间关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8467-8467
何时函数
是
总值关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8466-8466
何时函数
是
一元函数
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8469-8469
何时函数
的
range
是
时距
的实例
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.
english_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.
french_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 314-314
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2054-2054
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 216-216
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 270-270
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 595-595
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 349-349
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 285-285
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 290-290
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4225-4225
表示位置的函数
和
何时函数
是 内部相关
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62985-62985
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 456-456
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62984-62984
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62983-62983
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3984-4004
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
那个 施事体
不
equal
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
如果
breathingRate
施事体
,
时距
and
整数
和
那个 时距
是
分钟
的
instance
和 不存在
那个 整数
这样
那个 整数
是
娱乐或锻炼
的
instance
和
那个 施事体
是
那个 整数
的
agent
和
那个 时距
在
那个 整数
出现 的
time
时段内发生 和
人类成人
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 整数
是
greaterThan
16 或
那个 整数
是
lessThan
12,
然后
Healthy
不 是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2585-2603
如果
engineIdleSpeed
内燃机
and
RotationFn
实数
英里每小時
and
持续时间
和
客体
是
汽车
的
instance
和
过程
是
GasPedal
的
instance
和
那个 过程
是
Pushing
的
instance
和
那个 过程
在
另一个 客体
结束 和
那个 内燃机
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
Crankshaft
的
instance
和
那个 第三 客体
是
那个 内燃机
的
part
和
那个 第三 客体
的
measure
是
RotationFn
实体
英里每小時
and
那个 持续时间
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 实体
是
greaterThan
那个 实数
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22920-22925
如果
时点
equal
过程
出现 的
time
的开始 和
另一个 时点
equal
施事体
出现 的
time
的结束 和
那个 施事体
是
那个 过程
的 受益者,
然后
那个 时点
%n在
那个 另外 时点
before
发生
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29595-29604
如果
时点
equal
过程
出现 的
time
的开始 和
另一个 时点
equal
施事体
出现 的
time
的结束 和
那个 施事体
suffers
从
那个 过程
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
如果
AVPUPainStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
痛
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
身体运动
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6447-6459
如果
AVPUVerbalStatus
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
说话
的
instance
和
那个 过程
在
那个 施事体
结束 和
那个 过程
出现 的
time
在
那个 时距
时段内发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
causes
那个 另外 过程
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1500-1512
如果
ChronicFatigueSyndrome
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
娱乐或锻炼
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
出现 的
time
在
那个 时距
时段内发生,
然后
PostExertionalMalaise
是
那个 施事体
的
attribute
在
那个 时距
2
holdsDuring
和
那个 过程
出现 的
time
比
那个 时距
2发生的
earlier
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3231-3245
如果
啟動中
是
工程组件
的
attribute
在
物理
holdsDuring
和
准备好主持
是
那个 工程组件
的
attribute
在
那个 物理
2
holdsDuring
和
那个 物理
2
equal
紧接
那个 物理
出现 的
time
after
和
另一个 工程组件
是
ComputerDisplay
的
instance
和
那个 另外 工程组件
是 和
那个 工程组件
connected
,
然后 有存在
实体
这样
那个 实体
是
主頁面
的
instance
和
那个 实体
是在
那个 另外 工程组件
displayed
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Law.kif 480-489
如果
施事体
desires
死
是
实体
的
attribute
在
时距
holdsDuring
和
那个 施事体
URDER 是
谋杀
的
instance
和
那个 施事体
是
那个 施事体
URDER 的
agent
和
那个 实体
是
那个 施事体
URDER 的
patient
和
那个 时距
比
那个 施事体
URDER 出现 的
time
发生的
earlier
,
然后
Premeditated
是
那个 施事体
URDER 的
attribute
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30662-30683
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18203-18209
如果
胚胎
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
时段 doesn't 和
那个 时距
重叠
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18181-18187
如果
幼虫
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
接着
那个 时距
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17193-17203
如果
过程
是
加速
的
instance
和
时距
equal
那个 过程
出现 的
time
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
减速
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 时距
equal
那个 另外 过程
出现 的
time
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 501-514
如果
过程
是
走动
的
instance
和
另一个 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
步进
的
instance
和
第三 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
START
equal
那个 另外 过程
出现 的
time
的开始 和
那个 第三 过程
START
equal
那个 第三 过程
出现 的
time
的开始 和
那个 另外 过程
START%n在
那个 第三 过程
START
before
发生 和
那个 第三 过程
START%n在
那个 另外 过程
START
before
发生,
然后
那个 另外 过程
equal
那个 第三 过程
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9839-9861
如果
客体
是
Antacid
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12383-12397
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectAttached
那个 过程
and
那个 实体
和
objectAttached
那个 过程
and
那个 另外 实体
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9900-9922
如果
客体
是
ProtonPumpInhibitor
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3759-3784
如果
AccessingWebPage
是
AccessingWebPage
的
instance
和
实体
是
WebPage
的
instance
和
过程
是
数据传输
的
instance
和
客体
是
服务器
的
instance
和
另一个 过程
是
要求
的
instance
和
施事体
是
WebBrowser
的
instance
和
时距
是
时距
的
instance
和
那个 实体
是
那个 AccessingWebPage
的
patient
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 客体
结束 和
那个 实体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 过程
的源头 和
那个 过程
在
那个 施事体
结束 和
那个 实体
是
那个 过程
的
patient
和
那个 过程
%n是
那个 AccessingWebPage
的
subProcess
和
那个 另外 过程
%n是
那个 AccessingWebPage
的
subProcess
和
那个 另外 过程
出现 的
time
的结束
equal
那个 时距
的开始 和
那个 过程
出现 的
time
的结束
equal
那个 时距
的结束,
然后
access
的时间在
那个 AccessingWebPage
equal
那个 时距
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 487-499
如果
过程
是
走动
的
instance
和
时距
equal
那个 过程
出现 的
time
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
步进
的
instance
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
出现 的
time
starts
了才到
那个 时距
和
那个 第三 过程
出现 的
time
finishes
了才到
那个 时距
和
那个 另外 过程
不
equal
那个 第三 过程
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 89-103
如果
过程
是
武装侦察
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
enemy
那个 有认知的主事
and
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
攻击
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
的任务
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 665-671
如果
过程
是
防表面操作
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
located
在
另一个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 另外 实体
是
水域
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13831-13839
如果
过程
是
沸腾
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
那个 过程
出现 的
time
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6505-6529
如果
过程
是
CheckingVitals
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
客体
是
那个 过程
的
patient
和
心
是
心
的
instance
和
那个 心
是
那个 客体
的
part
和
肺
是
肺
的
instance
和
那个 肺
是
那个 客体
的
part
和
systolicBloodPressure
那个 客体
and
实体
和
diastolicBloodPressure
那个 客体
and
另一个 实体
和
那个 客体
的
measure
是
第三 实体
华氏度
在
那个 过程
出现 的
time
holdsDuring
和
heartRate
那个 心
,
那个 过程
出现 的
time
and
整数
和
breathingRate
那个 肺
,
那个 过程
出现 的
time
and
另一个 整数
,
然后
那个 有认知的主事
knows
systolicBloodPressure
那个 客体
and
那个 实体
和
diastolicBloodPressure
那个 客体
and
那个 另外 实体
和
那个 客体
的
measure
是
那个 第三 实体
华氏度
在
那个 过程
出现 的
time
holdsDuring
和
heartRate
那个 心
,
那个 过程
出现 的
time
and
那个 整数
和
breathingRate
那个 肺
,
那个 过程
出现 的
time
and
那个 另外 整数
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11647-11654
如果
过程
是
改变所有权
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
第三 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 另外 实体
不
equal
那个 第三 实体
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12466-12473
过程
是
结合
的
instance
和
客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
若且唯若
那个 客体
不 是
那个 实体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 82-97
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
births
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千里的
deaths
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千个生存出生里的
deaths
equal
实数
若且唯若
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和 1000
equal
另一个 实数
和
第三 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 第三 整数
和
那个 另外 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的出生预期
life
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30223-30236
Alone
是
实体
的
attribute
在
时距
holdsDuring
若且唯若 不存在
那个 实体
2 和
过程
这样
那个 实体
不
equal
那个 实体
2 和
那个 实体
2 是
施事体
的
instance
和
那个 过程
是
社交
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是事件
那个 过程
的
involved
和
那个 实体
2 是事件
那个 过程
的
involved
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30271-30279
Mute
是
施事体
的
attribute
在
时距
holdsDuring
若且唯若 不存在
过程
这样
那个 过程
是
说话
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
是
那个 过程
的
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 968-975
整数
是
机构
的
year
资金 若且唯若 有存在
过程
和
那个 整数
EAR 这样
那个 整数
EAR 时段 和
那个 过程
出现 的
time
重叠 和
那个 整数
EAR 是
那个 整数
year
的
instance
和
那个 过程
是
创建
的
instance
和
那个 机构
是
那个 过程
的
result
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16852-16861
如果
人类
的
almaMater
是
中学后
,
然后 有存在
过程
这样
那个 过程
是
教育性过程
的
instance
和
那个 过程
在
那个 人类
结束 和
那个 过程
是
located
在
那个 中学后
和
学生
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20760-20767
如果
actedIn
人类
and
内容承载物理
和
过程
是
戏剧表演
的
instance
和
那个 人类
是
那个 过程
的
patient
和
那个 内容承载物理
是
那个 过程
的
result
,
然后
Actor
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18837-18843
如果
施事体
是
过程
的
agent
和
实体
是
那个 过程
的
result
和
那个 实体
是
艺术品
的
instance
,
然后
Artist
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6231-6244
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4373-4382
如果
TwoFactorAuthentication
是
用户帐号
的
attribute
和
loggedInDuring
施事体
,
那个 用户帐号
and
时距
,
然后 有存在
那个 时距
F 这样
那个 时距
F 是
TwoFactorLoggingIn
的
instance
和
那个 施事体
是
那个 时距
F 的
agent
和
accountUsed
那个 时距
F and
那个 用户帐号
和
那个 时距
F 出现 的
time
比
那个 时距
发生的
earlier
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
如果
穆斯林
是
施事体
的
attribute
和 属于
那个 施事体
的资产值
equal
货币测量
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
天课
的
instance
和
那个 第四 实体
是
年
的
instance
和
那个 第四 实体
在
那个 施事体
出现 的
time
时段内发生 和
完全成型
是
那个 施事体
的
attribute
在
那个 第四 实体
holdsDuring
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的价值 是
那个 第五 实体
那个 第三 实体
和
那个 第三 实体
是
UnitOfCurrency
的
instance
和
那个 第五 实体
是
greaterThan
那个 货币测量
和 0.025 的声明 has
义务
的语气
No TPTP formula. May not be expressible in strict first order.
Music.kif 457-470
如果
CoverRecording
是
音乐录音
的
attribute
和
那个 音乐录音
是
音乐录音
的
instance
和
有认知的主事
是
performer
在
那个 音乐录音
和
那个 音乐录音
是
音乐
的
recording
和
那个 音乐录音
是个
那个 音乐
M 的
record
,
然后 有存在
另一个 音乐录音
,
那个 有认知的主事
RTIST, and 和
那个 音乐
USIC 这样
那个 另外 音乐录音
是
那个 音乐
的
recording
和
那个 有认知的主事
RTIST 是
performer
在
那个 另外 音乐录音
和
那个 有认知的主事
不
equal
那个 有认知的主事
RTIST 和
那个 另外 音乐录音
是个
那个 音乐
USIC 的
record
和
那个 音乐
USIC 出现 的
time
%n在
那个 音乐
M 出现 的
time
before
发生
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2881-2897
如果
FOK订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
那个 时距
或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
starts
了才到
那个 时距
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2917-2933
如果
GTC订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 时距
时段 和
那个 另外 时距
重叠 或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
finishes
了才到
那个 时距
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2854-2870
如果
国际奥委会订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
那个 时距
或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
starts
了才到
那个 时距
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2008-2029
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
购买
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
施事体
为了
那个 安全
asks
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2031-2052
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
出售
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
施事体
bids
另一个 实数
那个 测量单位
對於
那个 安全
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
如果
CommunalAttribute
是
客体
的
attribute
和
那个 客体
是
表
的
instance
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
一群人
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
,
另一个 实体
, and 和
那个 客体
2 这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 施事体
不
equal
那个 实体
和
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
located
在
那个 客体
2 和
那个 过程
出现 的
time
接着
那个 另外 实体
出现 的
time
和
那个 客体
equal
那个 客体
2 的声明 has
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13841-13854
如果
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
时距
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
加油站
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
沸腾
的
instance
和
那个 实体
是
那个 过程
的
patient
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 684-695
如果 其必須在
时点
之前 在
有认知的主事
check
out
和
另一个 有认知的主事
是在
那个 有认知的主事
的
guest
,
然后
那个 有认知的主事
expects
有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 时点
的
instance
和
那个 另外 有认知的主事
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
CheckOutService
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 另外 实体
出现 的
time
的开始%n在
那个 实体
before
发生 会是事实
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18202-18219
有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是
PaperShredder
的
instance
和 ?CUT 是
切开
的
instance
和 ?X 是导致 ?CUT 的
instrument
和 ?PAPER 是
纸
的
instance
和 ?PAPER 是 ?CUT 的
patient
和 ?CBO 是
located
在 ?PAPER 和 ?CBO 是
VisualContentBearingObject
的
instance
和 ?CBO
contains
?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是
解读
的
instance
和 ?INFO 是 ?READ 的
patient
和 ?CUT 出现 的
time
比?READ 出现 的
time
发生的
earlier
发生的机率
No TPTP formula. May not be expressible in strict first order.
Media.kif 1970-1978
有存在
时距
这样
那个 时距
是
时距
的
instance
和
那个 时距
finishes
了才到
JesusOfNazareth
出现 的
time
和
那个 时距
starts
了才到
TwelveApostles
出现 的
time
和 对所有
实体
如果
那个 实体
是
TwelveApostles
的
member
在
那个 时距
holdsDuring
,
然后
那个 实体
是
JesusOfNazareth
的
friend
在
那个 时距
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Media.kif 1920-1920
JesusOfNazareth
是
located
在
巴勒斯坦
在
JesusOfNazareth
出现 的
time
holdsDuring
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