Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
subclass
Sigma KEE - subclass
subclass
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order.
Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order.
Merge.kif 131-131
子类别
的 1 数量 是
类
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 132-132
子类别
的 2 数量 是
类
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 129-129
子类别
是
二元谓语
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18660-18660
子类别
是
ClosedWorldPredicate
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 130-130
子类别
是
偏序关系
的
instance
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order.
english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.
french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22956-22956
子领域
是
子类别
的
subrelation
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55708-55708
子领域
是
子类别
的
subrelation
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 320-320
子领域
是
子类别
的
subrelation
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55707-55707
子领域
是
子类别
的
subrelation
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55706-55706
子领域
是
子类别
的
subrelation
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 133-133
子领域
是
子类别
的
subrelation
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3987-4007
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
equal
那个 施事体
and
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1194-1209
如果
Oversized
是
客体
的
attribute
和
那个 客体
是
类
的
immediateInstance
和
那个 类
是
HotelUnit
的
subclass
,
然后 有存在
物理
,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 物理
是
那个 类
的
immediateInstance
和
那个 测量单位
是
UnitOfArea
的
instance
和
那个 物理
的
measure
是
那个 实数
那个 测量单位
和
那个 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
面积测量
的
instance
和
那个 另外 实数
是
面积测量
的
instance
和
那个 另外 实数
是
greaterThan
那个 实数
No TPTP formula. May not be expressible in strict first order.
Biography.kif 738-748
如果
作家
是
施事体
的
attribute
和
实体
是
有点 有内用物体
的
instance
和
有点 有内用物体
是
文本
的
subclass
或
那个 有点 有内用物体
是
Document
的
subclass
和
过程
是
写作
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
是
那个 有点 有内用物体
的
authors
No TPTP formula. May not be expressible in strict first order.
WMD.kif 789-793
如果
有点 过程
是
有点 生化剂
的
biochemical
病毒传递 和
另一个 有点 过程
是
有点 过程
的
subclass
,
然后
另一个 有点 过程
是
有点 生化剂
的
biochemical
病毒传递
No TPTP formula. May not be expressible in strict first order.
WMD.kif 976-980
如果
有点 生物
是
有点 生物制剂
的病毒传递者 和
另一个 有点 生物
是
有点 生物
的
subclass
,
然后
另一个 有点 生物
是
有点 生物制剂
的病毒传递者
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 48-56
如果
客体
能够担当
格角色
的角色做
有点 过程
和
有点 过程
是
射击
的
subclass
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
武器
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
能够担当
那个 格角色
的角色做
那个 有点 过程
No TPTP formula. May not be expressible in strict first order.
Government.kif 583-589
如果
正整数
day
是
有点 假日
的
commemorates
日期 和
实体
是
有点 假日
的
instance
和
那个 有点 假日
是
固定假期
的
subclass
和
整数
是
lessThanOrEqualTo
另一个 实体
_YEAR,
然后
那个 实体
是
那个 正整数
day
的
instance
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 522-538
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
过程
的
subclass
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
那个 施事体
的财产 的
element
和
那个 施事体
是
那个 实体
的
agent
和
那个 有认知的主事
是
那个 实体
的
patient
和
那个 实体
是
那个 有点 物理
的
instance
或
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 实体
是
那个 第三 实体
的
subProcess
和
那个 实体
是
located
在
那个 另外 实体
的声明 has
可能性
的语气
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14886-14897
如果
有点 客体
的
maximum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY
那个 第三 实体
是
greaterThan
那个 实数
那个 测量单位
的声明 has
较不可能
的语气
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14855-14866
如果
有点 客体
的
minimum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY 是
lessThan
那个 实数
的声明 has
较不可能
的语气
No TPTP formula. May not be expressible in strict first order.
WMD.kif 957-961
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 过程
是
有点 过程
的
subclass
,
然后
那个 疾病或综合症
是 对于
另一个 有点 过程
的
dis
ease 治愈
有点 生物活性物质
No TPTP formula. May not be expressible in strict first order.
WMD.kif 963-967
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 生物活性物质
是
有点 生物活性物质
的
subclass
,
然后
那个 疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
另一个 有点 生物活性物质
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2352-2361
如果
地缘政治区域
是 对于
有点 时距
在其间
物理量
的
electricity
消耗 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力消耗 在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2396-2405
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
输出 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力输出 在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2442-2451
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
输出 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
annual
的电力输入 在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2220-2229
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
生产 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力生产 在
那个 时间位置
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Food.kif 2883-2889
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
AnimalFat
的
subclass
和
另一个 有点 客体
是
脂肪组织
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
动物
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4967-4972
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
咖啡豆
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
CoffeePlant
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5031-5037
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
可可豆
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
可可樹
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Media.kif 195-200
如果
equal
有点 获得
and
receiving
一个
有点 客体
和
equal
另一个 有点 获得
and
receiving
一个
另一个 有点 客体
和
有点 客体
是
另一个 有点 客体
的
subclass
,
然后
有点 获得
是
另一个 有点 获得
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19972-19977
如果
equal
机构
and
DepartmentOfPreventingFn
另一个 机构
and
有点 物理
和
有点 物理
是
过程
的
subclass
和
那个 机构
是
那个 另外 机构
Organization
的一部分,
然后
那个 机构
inhibits
那个 有点 物理
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5285-5290
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
meat
的
subclass
,
然后
有点 有机物体
是
动物
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4503-4509
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
Malt
的
subclass
和
另一个 有点 客体
是
谷物
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
谷物草
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
OilFromPlant
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
或
那个 另外 有点 客体
是
水果
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
开花植物
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
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 33332-33339
如果
applicableRelation
客体
and
关系
和
那个 客体
是
那个 客体
C 的
instance
和
那个 关系
的 1 数量 是
另一个 类
的
instance
,
然后
equal
那个 客体
C and
那个 另外 类
或
那个 客体
C 是
那个 另外 类
的
subclass
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4203-4227
如果
ToxicandInfectiousSubstance
是
客体
的
attribute
和
那个 客体
是
物质
的
instance
或
那个 客体
是
微生物
的
instance
,
然后 有存在
施事体
,
过程
,, ,
另一个 过程
, and 和
第三 有点 过程
这样
那个 施事体
是
人类
的
instance
或
那个 施事体
是
动物
的
instance
和
那个 客体
在
那个 施事体
的
近
和
那个 过程
是
吸入
的
instance
或
那个 过程
是
消化
的
instance
或
那个 过程
是
接触
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
causes
那个 另外 过程
和
那个 施事体
是
那个 另外 过程
的
patient
和
那个 另外 过程
是
第三 有点 过程
的
instance
和
那个 客体
能够担当
资源
的角色做
那个 第三 有点 过程
和
那个 第三 有点 过程
是
受伤
的
subclass
或
那个 第三 有点 过程
是
死亡
的
subclass
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1489-1502
如果
DutyFree
是
客体
的
attribute
和
那个 客体
是
商店
的
instance
,
然后 有存在
地缘政治区域
,
实体
,, ,
另一个 有点 客体
, and 和
过程
这样
那个 地缘政治区域
是
地缘政治区域
的
instance
和
那个 客体
是
located
在
那个 地缘政治区域
和
另一个 有点 客体
是
客体
的
subclass
和
那个 另外 有点 客体
是
那个 地缘政治区域
的
import
商品种类 和
那个 实体
是
那个 另外 有点 客体
的
instance
和
那个 过程
是
出售
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25883-25893
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
equal
那个 另外 有点 日
and
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
No TPTP formula. May not be expressible in strict first order.
Merge.kif 215-221
如果
关系
的
正整数
数量 是
类
的
instance
和
那个 关系
的
那个 正整数
数量 是
另一个 类
的
instance
,
然后
那个 类
是
那个 另外 类
的
subclass
或
那个 另外 类
是
那个 类
的
subclass
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3018-3023
如果
关系
的
正整数
数量 是
类
的
subclass
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ROW,
然后 (@ROW) 的第
那个 正整数
几个元素 是
那个 类
的
subclass
No TPTP formula. May not be expressible in strict first order.
Merge.kif 238-244
如果
关系
的
正整数
数量 是
类
的
subclass
和
那个 关系
的
那个 正整数
数量 是
另一个 类
的
subclass
,
然后
那个 类
是
那个 另外 类
的
subclass
或
那个 另外 类
是
那个 类
的
subclass
No TPTP formula. May not be expressible in strict first order.
Media.kif 195-200
如果
equal
有点 获得
and
receiving
一个
有点 客体
和
equal
另一个 有点 获得
and
receiving
一个
另一个 有点 客体
和
有点 客体
是
另一个 有点 客体
的
subclass
,
然后
有点 获得
是
另一个 有点 获得
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5285-5290
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
meat
的
subclass
,
然后
有点 有机物体
是
动物
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
OilFromPlant
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
或
那个 另外 有点 客体
是
水果
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
开花植物
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5599-5606
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后
有点 有机物体
是
生物
的
subclass
或
那个 有点 有机物体
是
解剖结构
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5373-5377
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
毛皮
的
subclass
,
然后
有点 有机物体
是
皮肤
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5576-5585
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WoodProduct
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
植物树
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1790-1798
如果
equal
有点 客体
and
另一个 有点 客体
跟
属性
的
attr
和
第三 客体
是
有点 客体
的
instance
,
然后
那个 第三 客体
是
另一个 有点 客体
的
instance
和
那个 有点 客体
是
那个 另外 有点 客体
的
subclass
和
那个 属性
是
那个 第三 客体
的
attribute
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4177-4182
如果
客体
是
AegilopsGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4300-4305
如果
客体
是
CommonWheatGrass
的
instance
和
那个 客体
ELL 是
那个 客体
的
part
和
那个 客体
ELL 是
那个 客体
LASS 的
instance
,
然后
那个 客体
LASS 是
HexaploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4330-4335
如果
客体
是
SpeltWheatGrass
的
instance
和
那个 客体
ELL 是
那个 客体
的
part
和
那个 客体
ELL 是
那个 客体
LASS 的
instance
,
然后
那个 客体
LASS 是
HexaploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12164-12176
如果
过程
是
决定
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
集合
是
集合
的
instance
和
那个 集合
是
那个 过程
的
patient
和
实体
是
那个 集合
的
element
,
然后
那个 有认知的主事
believes
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
instance
和
那个 另外 实体
是
有意图过程
的
subclass
和
那个 有认知的主事
能够担当
主事
的角色做
那个 另外 实体
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4241-4246
如果
客体
是
DurumWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
TetraploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4271-4276
如果
客体
是
EinkornWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4209-4214
如果
客体
是
EmmerWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
TetraploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4285-4290
如果
客体
是
TriticumUrartu
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5827-5835
如果
过程
是
砍伐
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
TEM 这样
那个 实体
是 一个
dead
那个 实体
TEM 的
instance
和
那个 实体
TEM 是
PlantStem
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19655-19663
如果
过程
是
收获
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
RG 这样
那个 实体
是 一个
dead
那个 实体
RG 的
instance
和
那个 实体
RG 是
有机物体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3508-3537
如果
可穿戴物品
是
听力保护
的
instance
和
动物
是
人类
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生 和
那个 可穿戴物品
是导致
那个 实体
的
instrument
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.
Military.kif 963-974
equal
地缘政治区域
的
fit
对于军服务男性 and
符号串
所描述的类别
instance
的数量
No TPTP formula. May not be expressible in strict first order.
Cars.kif 5170-5173
有存在
有点 客体
这样
有点 客体
是
HandToolBox
的
subclass
和
manufacturer
那个 有点 客体
and
SortimoCorp
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
是
Nerve
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28254-28254
ACPowerSource
是
能量源
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3294-3294
ADHD
是
心理功能障碍
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27208-27208
AMFMAlarmClock
是
AlarmClock
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27209-27209
AMFMAlarmClock
是
无线电接收器
的
subclass
No TPTP formula. May not be expressible in strict first order.
Communications.kif 293-293
AM广播电台
是
广播电台
的
subclass
No TPTP formula. May not be expressible in strict first order.
Communications.kif 236-236
AM无线电系统
是
无线电系统
的
subclass
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 4075-4075
AOCnumber
是
符号串
的
subclass
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3601-3601
自动提款机
是
固定人工制品
的
subclass
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3677-3677
ATM插槽
是
洞
的
subclass
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4876-4876
ATVTire
是
Tire
的
subclass
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2169-2169
影/音控制传输协议
是
电脑程序
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6430-6430
AVPUStatus
是
关联属性
的
subclass
No TPTP formula. May not be expressible in strict first order.
Food.kif 1994-1994
AbaloneMeat
是
MolluskMeat
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4952-4952
Abatacept
是
Immunosupressant
的
subclass
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 527-527
阿巴亚
是
披风
的
subclass
No TPTP formula. May not be expressible in strict first order.
People.kif 1213-1213
僧院
是
宗教机构
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14148-14148
Abdomen
是
动物解剖结构
的
subclass
No TPTP formula. May not be expressible in strict first order.
arteries.kif 1272-1272
AbdominalAorta
是
动脉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 135-135
AbducensNerveCNVI
是
Nerve
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 2046-2046
Abducting
是
身体运动
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 2047-2047
Abducting
是
MovingAwayFrom
的
subclass
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1608-1608
AbductorDigitiMinimiMuscle
是
肌肉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2127-2127
AbductorHallucisMuscle
是
肌肉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1581-1581
AbductorPollicisBrevisMuscle
是
肌肉
的
subclass
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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