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
not
Sigma KEE - not
not
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41283-41283
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41282-41282
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 41281-41281
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1818-1828
过程
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
若且唯若
那个 金融账户
的
liqudity
是
高流动性
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17254-17262
实体
是
人类
的
instance
和 对所有
另一个 实体
那个 另外 实体
doesn't
employs
那个 实体
在
时间位置
holdsDuring
若且唯若
失业的
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Economy.kif 506-510
如果
高收入国家
是
施事体
的
attribute
和
那个 施事体
不 是
石油输出国组织
的
member
,
然后
发达国家
是
那个 施事体
的
economy
类别
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1165-1176
如果
FamilyStylePortion
是
客体
的
attribute
和
那个 客体
的
measure
是
实数
测量单位
和
FamilyStylePortion
不 是
另一个 客体
的
attribute
和
那个 另外 客体
的
measure
是
另一个 实数
那个 测量单位
和
那个 客体
是
类
的
instance
和
那个 另外 客体
是
那个 类
的
instance
和
那个 测量单位
是
测量单位
的
instance
,
然后
那个 实数
是
greaterThan
那个 另外 实数
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 172-187
如果
Anemia
是
客体
的
attribute
和
另一个 客体
是
血液
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
女
是
那个 客体
的
attribute
和
那个 另外 客体
的
measure
是 0.1
升
和
那个 客体
E 是
Hemoglobin
的
instance
和
那个 客体
E 是
那个 另外 客体
的
part
和
那个 客体
E2 不 是
Hemoglobin
的
instance
和
那个 客体
E 不
equal
那个 客体
E2 和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
E 的
measure
是
实数
公克
,
然后
那个 实数
是
lessThan
12
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 155-170
如果
Anemia
是
客体
的
attribute
和
另一个 客体
是
血液
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
男
是
那个 客体
的
attribute
和
那个 另外 客体
的
measure
是 0.1
升
和
那个 客体
E 是
Hemoglobin
的
instance
和
那个 客体
E 是
那个 另外 客体
的
part
和
那个 客体
E2 不 是
Hemoglobin
的
instance
和
那个 客体
E 不
equal
那个 客体
E2 和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
E 的
measure
是
实数
公克
,
然后
那个 实数
是
lessThan
13
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.
Mid-level-ontology.kif 12537-12547
如果
属性
是
客体
的
attribute
和
那个 属性
是
指纹
的
instance
和
那个 客体
不 是
手指
的
instance
,
然后 有存在
那个 属性
R 和
另一个 客体
这样
那个 另外 客体
是导致
那个 属性
R 的
instrument
和
那个 另外 客体
是
手指
的
instance
和
那个 属性
是
那个 另外 客体
的
attribute
和
那个 客体
是
那个 属性
R 的
patient
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2693-2704
如果
凹
是
自身连接物体
的
attribute
和
那个 自身连接物体
是
另一个 自身连接物体
的
surface
和
客体
是
那个 另外 自身连接物体
的
part
和
另一个 客体
是
那个 另外 自身连接物体
的
part
和
第三 客体
equal
那个 客体
和
那个 另外 客体
之间线路 和
那个 客体
不
equal
那个 另外 客体
和
第四 客体
是
那个 第三 客体
的
part
,
然后
那个 第四 客体
在
那个 自身连接物体
的
外
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
如果
凸
是
自身连接物体
的
attribute
和
那个 自身连接物体
是
另一个 自身连接物体
的
surface
和
客体
是
那个 另外 自身连接物体
的
part
和
另一个 客体
是
那个 另外 自身连接物体
的
part
和
第三 客体
equal
那个 客体
和
那个 另外 客体
之间线路 和
那个 客体
不
equal
那个 另外 客体
和
第四 客体
是
那个 第三 客体
的
part
,
然后
那个 第四 客体
在
那个 自身连接物体
的
内
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
如果
几何图
是
客体
的
attribute
和
那个 客体
是
FourPosterBed
的
instance
和
那个 几何图
是
四边形
的
instance
和
那个 几何图
的
side
是
一维图
和
那个 几何图
的
side
是
另一个 一维图
和
那个 一维图
不
equal
那个 另外 一维图
,
然后 有存在
另一个 客体
,
第三 客体
,, ,
几何点
, and 和
第四 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
地板
的
instance
和
那个 客体
在
那个 第三 客体
的
上
和
那个 另外 客体
在
那个 第三 客体
的
垂直
和
那个 一维图
是 对于
那个 几何点
的 交接点
那个 另外 一维图
和
那个 几何点
是
那个 第四 客体
的
attribute
和
那个 第四 客体
接上
那个 另外 客体
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9715-9720
如果
自身连接物体
的
bottom
是
另一个 自身连接物体
和
客体
是
那个 自身连接物体
的
part
和
那个 客体
和
那个 另外 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 另外 自身连接物体
的
以上
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.
Military.kif 772-778
如果
人类
是
国家
的
citizen
和 不存在
客体
这样
那个 人类
是
located
在
那个 客体
,
然后
那个 人类
是
located
在
那个 国家
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 234-249
如果
concentration
实数
测量单位
,
有点 物质
,
另一个 实数
那个 测量单位
2 and
混合物
和
有点 物质
I 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 是
那个 混合物
的
part
和
那个 有点 物质
I 的
measure
是
第三 实数
那个 测量单位
3 和
那个 有点 物质
I 是
那个 混合物
的
part
和
那个 有点 物质
I2 不 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 不
equal
那个 有点 物质
IE2 和
那个 有点 物质
I2 是
那个 混合物
的
part
和
那个 混合物
的
measure
是
那个 另外 实数
那个 测量单位
2,
然后
approximateValue
那个 实数
and
那个 第三 实数
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1148-1156
如果 如果
HeartHealthyFood
是
实体
的
attribute
是正确, 那
ComfortFood
是
那个 实体
的
attribute
的机率就 是
实数
和 如果
HeartHealthyFood
不 是
那个 实体
的
attribute
是正确, 那
ComfortFood
是
那个 实体
的
attribute
的机率就 是
另一个 实数
,
然后
那个 实数
是
lessThan
那个 另外 实数
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9554-9560
如果
客体
和
另一个 客体
是
connected
和
那个 客体
和
第三 客体
是
connected
和
那个 另外 客体
和
那个 第三 客体
不 是
connected
,
然后
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 32-46
如果
connectedBodyPartTypes
有点 身体部位
,
另一个 有点 身体部位
and
有点 生物
和
有点 生物
C 是
那个 有点 生物
的
instance
和
疾病或综合症
不 是
另一个 客体
的
attribute
,
然后 有存在
第三 客体
和
第四 客体
这样
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 第四 客体
是
另一个 有点 身体部位
的
instance
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 第三 客体
是
那个 有点 生物
C 的
part
和
那个 第四 客体
是
那个 有点 生物
C 的
part
和
那个 第三 客体
和
那个 第四 客体
是
connected
No TPTP formula. May not be expressible in strict first order.
Merge.kif 476-484
如果 @ROW 是 的相反 和
属性
equal
(@ROW) 的第
正整数
几个元素 和
另一个 属性
equal
(@ROW) 的第
另一个 正整数
几个元素 和
那个 正整数
不
equal
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
attribute
,
然后
那个 另外 实体
不 有
那个 另外 属性
的
attribute
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
对
货币测量
收费 在
corkage
为了
有点 客体
和
另一个 客体
是
有点 客体
的
instance
和 不存在
过程
这样
那个 过程
是
购买
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 过程
在
那个 有认知的主事
结束 和
那个 施事体
是
那个 过程
的源头 和
另一个 过程
是
饮
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
Corkage
的
instance
和
那个 有认知的主事
是
那个 第三 过程
的
agent
和
那个 第三 过程
提到
那个 另外 客体
和
那个 第三 过程
在
那个 施事体
结束
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1347-1358
如果
工程组件
是
互联网
的
component
和
另一个 工程组件
是
互联网
的
component
和
那个 工程组件
不
equal
那个 另外 工程组件
,
然后
互联网
的 目的 是 有存在
实体
这样
那个 实体
是
沟通
的
instance
和
那个 工程组件
是
那个 实体
的
agent
和
那个 实体
在
那个 另外 工程组件
结束 和
互联网
是导致
那个 实体
的
instrument
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4861-4872
如果 @ROW 的最大公因数
equal
整数
和
那个 整数
不
equal
0,
然后 对所有
另一个 整数
如果
那个 另外 整数
是 (@ROW) 的
member
,
然后
那个 另外 整数
模除
那个 整数
equal
0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4874-4888
如果 @ROW 的最大公因数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
greaterThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 第三 整数
模除
那个 另外 整数
equal
0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4946-4956
如果 @ROW 的最小公倍数
equal
整数
和
那个 整数
不
equal
0,
然后 对所有
另一个 整数
如果
那个 另外 整数
是 (@ROW) 的
member
,
然后
那个 整数
模除
那个 另外 整数
equal
0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4958-4972
如果 @ROW 的最小公倍数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
lessThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 另外 整数
模除
那个 第三 整数
equal
0
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.
Mid-level-ontology.kif 30178-30188
实体
是
身体部位
的
instance
和
Bare
是
那个 实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
covers
那个 另外 实体
and
那个 实体
在
那个 时间位置
holdsDuring
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 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.
People.kif 156-187
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
migrants
equal
实数
若且唯若 (
那个 整数
和
另一个 整数
)
equal
1 和
实体
是
那个 另外 整数
year
的
instance
和
那个 地缘政治区域
的
population
equal
另一个 实数
在
那个 年
holdsDuring
和
那个 另外 实数
和 1000
equal
第三 实数
和
第三 整数
equal
符号串
所描述的类别
instance
的数量 和
第四 整数
equal
那个 符号串
所描述的类别
instance
的数量 和 (
那个 第三 整数
和
那个 第四 整数
)
equal
第四 实数
和
那个 第四 实数
和
那个 第三 实数
equal
那个 实数
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 751-762
和弦音乐
是
客体
的
attribute
若且唯若 有存在
过程
和
另一个 过程
这样
那个 客体
是
制作音乐
的
instance
和
那个 过程
是
制作音乐
的
instance
和
那个 另外 过程
是
制作音乐
的
instance
和
那个 过程
%n是
那个 客体
的
subProcess
和
那个 另外 过程
%n是
那个 客体
的
subProcess
和
那个 过程
不
equal
那个 另外 过程
和
那个 过程
和
那个 客体
同时发生 和
那个 另外 过程
和
那个 客体
同时发生
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4711-4720
公海
是
客体
的
attribute
若且唯若 有存在
物理
和
实数
这样
那个 客体
是
盐水区
的
instance
和
那个 客体
不 是
内陆水域
的
instance
和
那个 物理
和
那个 客体
的
distance
是
那个 实数
海里
和
那个 实数
是
greaterThan
5.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23061-23076
人类
另一个 人类
是
cousins
若且唯若 有存在
女人
和
人
这样
那个 人类
的
grandmother
是
那个 女人
和
那个 人类
的
grandfather
是
那个 人
和
那个 另外 人类
的
grandmother
是
那个 女人
和
那个 另外 人类
的
grandfather
是
那个 人
和 不存在
生物
和
另一个 生物
这样
那个 生物
是
那个 人类
的
mother
和
那个 另外 生物
是
那个 人类
father
和
那个 生物
是
那个 另外 人类
的
mother
和
那个 另外 生物
是
那个 另外 人类
father
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30132-30140
Barefoot
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
鞋
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30145-30153
Naked
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
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 6478-6488
实体
是
共轭物质
的
instance
若且唯若 有存在
客体
,
另一个 客体
, and 和
过程
这样
那个 客体
是
复合物质
的
instance
和
那个 另外 客体
是
复合物质
的
instance
和
那个 客体
不
equal
那个 另外 客体
和
那个 过程
是
化学合成
的
instance
和
那个 客体
是
那个 过程
的
resource
和
那个 另外 客体
是
那个 过程
的
resource
和
那个 实体
是
那个 过程
的
result
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
长度测量
是
地理区域
的未分类规格轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30296-30310
过程
是以
Harmless
的形式发生 若且唯若
那个 过程
不 是
损坏
的
instance
和 不存在
那个 过程
2 这样
那个 过程
2 是
损坏
的
instance
和
那个 过程
2%n是
那个 过程
的
subProcess
和 不存在
那个 过程
2 这样
那个 过程
2 是
损坏
的
instance
和
那个 过程
causes
那个 过程
2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13850-13857
公式
的声明 has
合法
的语气 若且唯若 不存在
另一个 公式
这样
那个 另外 公式
的声明 has
法
的语气 和
那个 另外 公式
不 是
那个 公式
的
consistent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17416-17418
公式
的声明 has
必要性
的语气 若且唯若
那个 公式
的声明 doesn't have
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17479-17481
公式
的声明 has
义务
的语气 若且唯若
那个 公式
的声明 doesn't have
允许
的语气
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17515-17517
公式
的声明 has
禁令
的语气 若且唯若
那个 公式
的声明 doesn't have
允许
的语气
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9119-9122
客体
在
另一个 客体
的
外
若且唯若
那个 客体
不 是
partlyLocated
在
那个 另外 客体
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23152-23159
人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
的
mother
和
那个 人
是
那个 另外 人类
的
spouse
和
那个 人
不 是
那个 人类
father
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23169-23176
女人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
father
和
那个 女人
是
那个 另外 人类
的
spouse
和
那个 女人
不 是
那个 人类
的
mother
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14091-14098
如果
有认知的主事
有义务去做在
协议
的
命题
禁令
,
然后
那个 有认知的主事
doesn't have 有权利去做 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 有认知的主事
是
那个 实体
的
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14055-14058
如果
协议
有
expiration
时点
,
然后
那个 协议
不 有
ActiveAgreement
的
attribute
在
那个 时点
之后
holdsDuring
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.
Media.kif 2546-2550
时间位置
是 3
day
的
instance
和
塞尔维亚和黑山
不 是
独立国家
的
instance
在
那个 时间位置
之后
holdsDuring
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2011-2015
~{
GUIElement
有
state
GUE_NonVisibleState
} 或 ~{
那个 GUIElement
有
state
GUE_ActiveState
} 或 ~{
那个 GUIElement
是
InterfaceWindow
的
instance
}
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 2226-2229
~{
GUIElement
是
Cursor
的
instance
} 或 ~{
那个 GUIElement
有
state
GUE_SelectedState
}
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1952-1955
~{
GUIElement
是
MouseCursor
的
instance
} 或 ~{
那个 GUIElement
有
state
GUE_ActiveState
}
No TPTP formula. May not be expressible in strict first order.
Government.kif 2915-2915
大六
不
equal
6人组
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6099-6106
不存在
图路径
和
另一个 图路径
这样
那个 图路径
是 把
图
分成另外两个图的路径
Set
的
instance
和
那个 另外 图路径
是 把
那个 图
分成另外两个图的最短路径
Set
的
instance
和
那个 图路径
的
length
是
正整数
和
那个 另外 图路径
的
length
是
另一个 正整数
和
那个 正整数
是
lessThan
那个 另外 正整数
No TPTP formula. May not be expressible in strict first order.
Government.kif 3219-3219
丹麦
不 是
欧洲货币联盟
的
member
No TPTP formula. May not be expressible in strict first order.
Government.kif 3220-3220
瑞典
不 是
欧洲货币联盟
的
member
No TPTP formula. May not be expressible in strict first order.
Government.kif 3221-3221
英国
不 是
欧洲货币联盟
的
member
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7891-7891
共同的时代之前
时段 doesn't 和
共同时代
重叠
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3585-3585
不
植物树
是
found
在
北极地区
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