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
equipmentType
Sigma KEE - equipmentType
equipmentType
appearance as argument number 1
(
documentation
equipmentType
EnglishLanguage
"(equipmentType ?THING ?TYPE) means that the
Artifact
?THING has a component or attachment of
Device
?TYPE. See also
equipmentType
Count.")
Mid-level-ontology.kif 24377-24379
(
domain
equipmentType
1
Artifact
)
Mid-level-ontology.kif 24381-24381
设备类型
的 1 数量 是
人工制品
的
instance
(
domainSubclass
equipmentType
2
Device
)
Mid-level-ontology.kif 24382-24382
设备类型
的 2 数量 是
设备
的
subclass
(
instance
equipmentType
BinaryPredicate
)
Mid-level-ontology.kif 24380-24380
设备类型
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
equipmentType
"%2 %n 是 %1 的 equipment 类别")
domainEnglishFormat.kif 919-919
(
format
ChineseTraditionalLanguage
equipmentType
"%2 %n 是 %1 的 equipment 類別")
domainEnglishFormat.kif 918-918
(
format
EnglishLanguage
equipmentType
"%2 is %n an equipment type of %1")
domainEnglishFormat.kif 917-917
(
termFormat
ChineseLanguage
equipmentType
"设备类型")
domainEnglishFormat.kif 22348-22348
(
termFormat
ChineseTraditionalLanguage
equipmentType
"設備類型")
domainEnglishFormat.kif 22347-22347
(
termFormat
EnglishLanguage
equipmentType
"equipment type")
domainEnglishFormat.kif 22346-22346
antecedent
(=>
(
equipmentType
?O ?T)
(
exists
(?C ?D)
(
and
(
instance
?D ?T)
(
greaterThanOrEqualTo
?C 1)
(
equipmentCount
?O ?T ?C))))
Mid-level-ontology.kif 24400-24406
如果
有点 设备
是
人工制品
的
equipment
类别,
然后 有存在
实数
和
实体
这样
那个 实体
是
有点 设备
的
instance
和
那个 实数
是
greaterThanOrEqualTo
1 和
那个 人工制品
对于
那个 实数
equipment
记数
那个 有点 设备
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24384-24391
如果
有点 设备
是
人工制品
的
equipment
类别,
然后 有存在
客体
这样
那个 客体
是
有点 设备
的
instance
和
那个 客体
是
那个 人工制品
的
part
或
那个 客体
和
那个 人工制品
是
connected
consequent
(=>
(
equipmentCount
?O ?T ?C)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE ?T)
(
equipmentType
?O ?T))))
Mid-level-ontology.kif 24393-24398
如果
人工制品
对于
数量
equipment
记数
有点 设备
,
然后 有存在
实体
这样
那个 实体
是
有点 设备
的
instance
和
那个 有点 设备
是
那个 人工制品
的
equipment
类别
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