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
witness
Sigma KEE - subclass
subclass
appearance as argument number 1
(
documentation
subclass
ChineseLanguage
"(
subclass
?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的
subclass
,也就是说, ?CLASS1 的每一个
instance
同时也是 ?CLASS2 的一个
instance
。一个
Class
可以具有多个超类别和子类别。")
chinese_format.kif 1371-1373
(
documentation
subclass
EnglishLanguage
"(
subclass
?CLASS1 ?CLASS2) means that ?CLASS1 is a
subclass
of ?CLASS2, i.e. every
instance
of ?CLASS1 is also an
instance
of ?CLASS2. A
Class
may have multiple superclasses and subclasses.")
Merge.kif 133-135
(
documentation
subclass
JapaneseLanguage
"(
subclass
?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の
subclass
である、という意味である。例えば、?CLASS1のすべての
instance
も?CLASS2 の
instance
である。")
japanese_format.kif 27-29
(
documentation
subclass
SpanishLanguage
"(
subclass
?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una
subclass
de ?CLASS2, por ejemplo, cada
instance
de ?CLASS1 es también una
instance
de ?CLASS2. Una
Class
puede tener varias superclases y subclases.")
spanish_format.kif 28-30
(
domain
subclass
1
Class
)
Merge.kif 131-131
子类别
的 1 数量 是
类
的
instance
(
domain
subclass
2
Class
)
Merge.kif 132-132
子类别
的 2 数量 是
类
的
instance
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
子类别
是
二元谓语
的
instance
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18660-18660
子类别
是
ClosedWorldPredicate
的
instance
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
子类别
是
偏序关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
subclass
"%1 %n 是 %2 的
subclass
")
chinese_format.kif 319-319
(
format
EnglishLanguage
subclass
"%1 is %n a
subclass
of %2")
english_format.kif 324-324
(
format
FrenchLanguage
subclass
"%1 est %n une sous-classe de %2")
french_format.kif 182-182
(
format
ItalianLanguage
subclass
"%1 è %n una sottoclasse di %2")
relations-it.txt 271-271
(
format
JapaneseLanguage
subclass
"%1 は %2 の
subclass
では %n")
japanese_format.kif 2002-2002
(
format
PortugueseLanguage
subclass
"%1 e' %n uma sub-classe de %2")
portuguese_format.kif 134-134
(
format
cz
subclass
"%1 %p{je} %n{nen�} podt��dou %2")
relations-cz.txt 175-175
(
format
de
subclass
"%1 ist eine teilkategorie von %2")
relations-de.txt 419-419
(
format
hi
subclass
"%1 %2 kaa upavarga %n hai")
relations-hindi.txt 308-308
(
format
ro
subclass
"%1 %n{nu} este o
subclass
%t{subclasã} a lui %2")
relations-ro.kif 202-202
(
format
sv
subclass
"%1 är %n{inte} en
subclass
till %2")
relations-sv.txt 192-192
(
format
tg
subclass
"%1 %n ay ang klase mas tiyak sa %2")
relations-tg.txt 463-463
(
subrelation
subField
subclass
)
Mid-level-ontology.kif 22956-22956
子领域
是
子类别
的
subrelation
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55708-55708
子领域
是
子类别
的
subrelation
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
子领域
是
子类别
的
subrelation
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55707-55707
子领域
是
子类别
的
subrelation
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55706-55706
子领域
是
子类别
的
subrelation
(
termFormat
de
subclass
"teilkategorie")
terms-de.txt 133-133
子领域
是
子类别
的
subrelation
antecedent
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3987-4007
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
equal
那个 施事体
and
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1194-1209
如果
Oversized
是
客体
的
attribute
和
那个 客体
是
类
的
immediateInstance
和
那个 类
是
HotelUnit
的
subclass
,
然后 有存在
物理
,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 物理
是
那个 类
的
immediateInstance
和
那个 测量单位
是
UnitOfArea
的
instance
和
那个 物理
的
measure
是
那个 实数
那个 测量单位
和
那个 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
面积测量
的
instance
和
那个 另外 实数
是
面积测量
的
instance
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 738-748
如果
作家
是
施事体
的
attribute
和
实体
是
有点 有内用物体
的
instance
和
有点 有内用物体
是
文本
的
subclass
或
那个 有点 有内用物体
是
Document
的
subclass
和
过程
是
写作
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
是
那个 有点 有内用物体
的
authors
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
如果
有点 过程
是
有点 生化剂
的
biochemical
病毒传递 和
另一个 有点 过程
是
有点 过程
的
subclass
,
然后
另一个 有点 过程
是
有点 生化剂
的
biochemical
病毒传递
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
如果
有点 生物
是
有点 生物制剂
的病毒传递者 和
另一个 有点 生物
是
有点 生物
的
subclass
,
然后
另一个 有点 生物
是
有点 生物制剂
的病毒传递者
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
如果
客体
能够担当
格角色
的角色做
有点 过程
和
有点 过程
是
射击
的
subclass
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
武器
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
能够担当
那个 格角色
的角色做
那个 有点 过程
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER_YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER_YEAR)))))
Government.kif 583-589
如果
正整数
day
是
有点 假日
的
commemorates
日期 和
实体
是
有点 假日
的
instance
和
那个 有点 假日
是
固定假期
的
subclass
和
整数
是
lessThanOrEqualTo
另一个 实体
_YEAR,
然后
那个 实体
是
那个 正整数
day
的
instance
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
过程
的
subclass
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
那个 施事体
的财产 的
element
和
那个 施事体
是
那个 实体
的
agent
和
那个 有认知的主事
是
那个 实体
的
patient
和
那个 实体
是
那个 有点 物理
的
instance
或
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 实体
是
那个 第三 实体
的
subProcess
和
那个 实体
是
located
在
那个 另外 实体
的声明 has
可能性
的语气
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 14886-14897
如果
有点 客体
的
maximum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY
那个 第三 实体
是
greaterThan
那个 实数
那个 测量单位
的声明 has
较不可能
的语气
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 14855-14866
如果
有点 客体
的
minimum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY 是
lessThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 过程
是
有点 过程
的
subclass
,
然后
那个 疾病或综合症
是 对于
另一个 有点 过程
的
dis
ease 治愈
有点 生物活性物质
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
有点 生物活性物质
和
另一个 有点 生物活性物质
是
有点 生物活性物质
的
subclass
,
然后
那个 疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
另一个 有点 生物活性物质
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2352-2361
如果
地缘政治区域
是 对于
有点 时距
在其间
物理量
的
electricity
消耗 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力消耗 在
那个 时间位置
holdsDuring
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2396-2405
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
输出 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力输出 在
那个 时间位置
holdsDuring
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2442-2451
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
输出 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
annual
的电力输入 在
那个 时间位置
holdsDuring
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 2220-2229
如果
地缘政治区域
是 对于
有点 时距
在周期
物理量
的
electricity
生产 和
有点 时距
是
年
的
subclass
或
那个 有点 时距
是
那个 地缘政治区域
的
fiscal
年 的
subclass
,
然后 有存在
时间位置
这样
那个 时间位置
是
那个 有点 时距
的
instance
和
那个 物理量
是
那个 地缘政治区域
的
annual
电力生产 在
那个 时间位置
holdsDuring
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2883-2889
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
AnimalFat
的
subclass
和
另一个 有点 客体
是
脂肪组织
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
动物
的
initially
part
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4967-4972
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
咖啡豆
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
CoffeePlant
的
initially
part
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 5031-5037
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
可可豆
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
可可樹
的
initially
part
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
如果
equal
有点 获得
and
receiving
一个
有点 客体
和
equal
另一个 有点 获得
and
receiving
一个
另一个 有点 客体
和
有点 客体
是
另一个 有点 客体
的
subclass
,
然后
有点 获得
是
另一个 有点 获得
的
subclass
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 19972-19977
如果
equal
机构
and
DepartmentOfPreventingFn
另一个 机构
and
有点 物理
和
有点 物理
是
过程
的
subclass
和
那个 机构
是
那个 另外 机构
Organization
的一部分,
然后
那个 机构
inhibits
那个 有点 物理
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
meat
的
subclass
,
然后
有点 有机物体
是
动物
的
subclass
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4503-4509
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
Malt
的
subclass
和
另一个 有点 客体
是
谷物
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
谷物草
的
initially
part
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
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
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 33332-33339
如果
applicableRelation
客体
and
关系
和
那个 客体
是
那个 客体
C 的
instance
和
那个 关系
的 1 数量 是
另一个 类
的
instance
,
然后
equal
那个 客体
C and
那个 另外 类
或
那个 客体
C 是
那个 另外 类
的
subclass
(=>
(
and
(
attribute
?G
ToxicandInfectiousSubstance
)
(
or
(
instance
?G
Substance
)
(
instance
?G
Microorganism
)))
(
exists
(?O ?P ?I ?CLASS)
(
and
(
or
(
instance
?O
Human
)
(
instance
?O
Animal
))
(
orientation
?G ?O
Near
)
(
or
(
instance
?P
Inhaling
)
(
instance
?P
Ingesting
)
(
instance
?P
Touching
))
(
agent
?P ?O)
(
patient
?P ?G)
(
causes
?P ?I)
(
patient
?I ?O)
(
instance
?I ?CLASS)
(
capability
?CLASS
resource
?G)
(
or
(
subclass
?CLASS
Injuring
)
(
subclass
?CLASS
Death
)))))
Transportation.kif 4203-4227
如果
ToxicandInfectiousSubstance
是
客体
的
attribute
和
那个 客体
是
物质
的
instance
或
那个 客体
是
微生物
的
instance
,
然后 有存在
施事体
,
过程
,, ,
另一个 过程
, and 和
第三 有点 过程
这样
那个 施事体
是
人类
的
instance
或
那个 施事体
是
动物
的
instance
和
那个 客体
在
那个 施事体
的
近
和
那个 过程
是
吸入
的
instance
或
那个 过程
是
消化
的
instance
或
那个 过程
是
接触
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
causes
那个 另外 过程
和
那个 施事体
是
那个 另外 过程
的
patient
和
那个 另外 过程
是
第三 有点 过程
的
instance
和
那个 客体
能够担当
资源
的角色做
那个 第三 有点 过程
和
那个 第三 有点 过程
是
受伤
的
subclass
或
那个 第三 有点 过程
是
死亡
的
subclass
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1489-1502
如果
DutyFree
是
客体
的
attribute
和
那个 客体
是
商店
的
instance
,
然后 有存在
地缘政治区域
,
实体
,, ,
另一个 有点 客体
, and 和
过程
这样
那个 地缘政治区域
是
地缘政治区域
的
instance
和
那个 客体
是
located
在
那个 地缘政治区域
和
另一个 有点 客体
是
客体
的
subclass
和
那个 另外 有点 客体
是
那个 地缘政治区域
的
import
商品种类 和
那个 实体
是
那个 另外 有点 客体
的
instance
和
那个 过程
是
出售
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 25883-25893
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
equal
那个 另外 有点 日
and
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 215-221
如果
关系
的
正整数
数量 是
类
的
instance
和
那个 关系
的
那个 正整数
数量 是
另一个 类
的
instance
,
然后
那个 类
是
那个 另外 类
的
subclass
或
那个 另外 类
是
那个 类
的
subclass
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3018-3023
如果
关系
的
正整数
数量 是
类
的
subclass
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ROW,
然后 (@ROW) 的第
那个 正整数
几个元素 是
那个 类
的
subclass
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 238-244
如果
关系
的
正整数
数量 是
类
的
subclass
和
那个 关系
的
那个 正整数
数量 是
另一个 类
的
subclass
,
然后
那个 类
是
那个 另外 类
的
subclass
或
那个 另外 类
是
那个 类
的
subclass
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
如果
equal
有点 获得
and
receiving
一个
有点 客体
和
equal
另一个 有点 获得
and
receiving
一个
另一个 有点 客体
和
有点 客体
是
另一个 有点 客体
的
subclass
,
然后
有点 获得
是
另一个 有点 获得
的
subclass
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
meat
的
subclass
,
然后
有点 有机物体
是
动物
的
subclass
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4870-4881
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
OilFromPlant
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
或
那个 另外 有点 客体
是
水果
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
开花植物
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5599-5606
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后
有点 有机物体
是
生物
的
subclass
或
那个 有点 有机物体
是
解剖结构
的
subclass
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5373-5377
如果
equal
有点 客体
and
OrganicObjectFn
有点 有机物体
和
有点 客体
是
毛皮
的
subclass
,
然后
有点 有机物体
是
皮肤
的
subclass
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5576-5585
如果
equal
有点 客体
and
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WoodProduct
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
植物树
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1790-1798
如果
equal
有点 客体
and
另一个 有点 客体
跟
属性
的
attr
和
第三 客体
是
有点 客体
的
instance
,
然后
那个 第三 客体
是
另一个 有点 客体
的
instance
和
那个 有点 客体
是
那个 另外 有点 客体
的
subclass
和
那个 属性
是
那个 第三 客体
的
attribute
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4177-4182
如果
客体
是
AegilopsGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4300-4305
如果
客体
是
CommonWheatGrass
的
instance
和
那个 客体
ELL 是
那个 客体
的
part
和
那个 客体
ELL 是
那个 客体
LASS 的
instance
,
然后
那个 客体
LASS 是
HexaploidCell
的
subclass
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4330-4335
如果
客体
是
SpeltWheatGrass
的
instance
和
那个 客体
ELL 是
那个 客体
的
part
和
那个 客体
ELL 是
那个 客体
LASS 的
instance
,
然后
那个 客体
LASS 是
HexaploidCell
的
subclass
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12164-12176
如果
过程
是
决定
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
集合
是
集合
的
instance
和
那个 集合
是
那个 过程
的
patient
和
实体
是
那个 集合
的
element
,
然后
那个 有认知的主事
believes
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
instance
和
那个 另外 实体
是
有意图过程
的
subclass
和
那个 有认知的主事
能够担当
主事
的角色做
那个 另外 实体
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4241-4246
如果
客体
是
DurumWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
TetraploidCell
的
subclass
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4271-4276
如果
客体
是
EinkornWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4209-4214
如果
客体
是
EmmerWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
TetraploidCell
的
subclass
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4285-4290
如果
客体
是
TriticumUrartu
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5827-5835
如果
过程
是
砍伐
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
TEM 这样
那个 实体
是 一个
dead
那个 实体
TEM 的
instance
和
那个 实体
TEM 是
PlantStem
的
subclass
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 19655-19663
如果
过程
是
收获
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
RG 这样
那个 实体
是 一个
dead
那个 实体
RG 的
instance
和
那个 实体
RG 是
有机物体
的
subclass
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
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
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 963-974
equal
地缘政治区域
的
fit
对于军服务男性 and
符号串
所描述的类别
instance
的数量
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5170-5173
有存在
有点 客体
这样
有点 客体
是
HandToolBox
的
subclass
和
manufacturer
那个 有点 客体
and
SortimoCorp
appearance as argument number 0
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
是
Nerve
的
subclass
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 28254-28254
ACPowerSource
是
能量源
的
subclass
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3294-3294
ADHD
是
心理功能障碍
的
subclass
(
subclass
AMFMAlarmClock
AlarmClock
)
Mid-level-ontology.kif 27208-27208
AMFMAlarmClock
是
AlarmClock
的
subclass
(
subclass
AMFMAlarmClock
RadioReceiver
)
Mid-level-ontology.kif 27209-27209
AMFMAlarmClock
是
无线电接收器
的
subclass
(
subclass
AMRadioStation
RadioStation
)
Communications.kif 293-293
AM广播电台
是
广播电台
的
subclass
(
subclass
AMRadioSystem
RadioSystem
)
Communications.kif 236-236
AM无线电系统
是
无线电系统
的
subclass
(
subclass
AOCnumber
SymbolicString
)
Transportation.kif 4075-4075
AOCnumber
是
符号串
的
subclass
(
subclass
ATMMachine
StationaryArtifact
)
FinancialOntology.kif 3601-3601
自动提款机
是
固定人工制品
的
subclass
(
subclass
ATMSlot
HoleRegion
)
FinancialOntology.kif 3677-3677
ATM插槽
是
洞
的
subclass
(
subclass
ATVTire
Tire
)
Cars.kif 4876-4876
ATVTire
是
Tire
的
subclass
(
subclass
AVCTP
ComputerProgram
)
ComputingBrands.kif 2169-2169
影/音控制传输协议
是
电脑程序
的
subclass
(
subclass
AVPUStatus
RelationalAttribute
)
Medicine.kif 6430-6430
AVPUStatus
是
关联属性
的
subclass
(
subclass
AbaloneMeat
MolluskMeat
)
Food.kif 1994-1994
AbaloneMeat
是
MolluskMeat
的
subclass
(
subclass
Abatacept
Immunosupressant
)
Medicine.kif 4952-4952
Abatacept
是
Immunosupressant
的
subclass
(
subclass
Abayah
Cloak
)
ArabicCulture.kif 527-527
阿巴亚
是
披风
的
subclass
(
subclass
Abbey
ReligiousOrganization
)
People.kif 1213-1213
僧院
是
宗教机构
的
subclass
(
subclass
Abdomen
AnimalAnatomicalStructure
)
Mid-level-ontology.kif 14148-14148
Abdomen
是
动物解剖结构
的
subclass
(
subclass
AbdominalAorta
Artery
)
arteries.kif 1272-1272
AbdominalAorta
是
动脉
的
subclass
(
subclass
AbducensNerveCNVI
Nerve
)
Muscles.kif 135-135
AbducensNerveCNVI
是
Nerve
的
subclass
(
subclass
Abducting
BodyMotion
)
Anatomy.kif 2046-2046
Abducting
是
身体运动
的
subclass
(
subclass
Abducting
MovingAwayFrom
)
Anatomy.kif 2047-2047
Abducting
是
MovingAwayFrom
的
subclass
(
subclass
AbductorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1608-1608
AbductorDigitiMinimiMuscle
是
肌肉
的
subclass
(
subclass
AbductorHallucisMuscle
Muscle
)
Muscles.kif 2127-2127
AbductorHallucisMuscle
是
肌肉
的
subclass
(
subclass
AbductorPollicisBrevisMuscle
Muscle
)
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