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
covers
Sigma KEE - covers
covers
appearance as argument number 1
(
documentation
covers
EnglishLanguage
"A relationship of partial or complete physical covering, which may be the result of a
Covering
. To cover an object, the first object must at least roughly conform to the surface of the second object. ")
Merge.kif 15952-15955
(
domain
covers
1
Object
)
Merge.kif 15949-15949
covers
的 1 数量 是
客体
的
instance
(
domain
covers
2
Object
)
Merge.kif 15950-15950
covers
的 2 数量 是
客体
的
instance
(
instance
covers
BinaryPredicate
)
Merge.kif 15946-15946
covers
是
二元谓语
的
instance
(
instance
covers
SpatialRelation
)
Merge.kif 15948-15948
covers
是
空间关系
的
instance
(
instance
covers
TransitiveRelation
)
Merge.kif 15947-15947
covers
是
传递关系
的
instance
appearance as argument number 2
(
format
EnglishLanguage
covers
"%1 covers %2")
Merge.kif 15951-15951
(
termFormat
EnglishLanguage
covers
"covers")
domainEnglishFormat.kif 65803-65803
antecedent
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Merge.kif 15957-15961
如果
covers
客体
and
另一个 客体
和
第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
接上
那个 第三 客体
consequent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 30202-30212
实体
是
身体部位
的
instance
和
Bare
是
那个 实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
covers
那个 另外 实体
and
那个 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Merge.kif 15963-15970
如果
过程
是
遮盖
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是导致
那个 过程
的
instrument
,
然后
covers
那个 客体
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
holdsDuring
?T
(
attribute
?A
Clothed
))
(
holdsDuring
?T
(
not
(
exists
(?P)
(
and
(
instance
?P
ReproductiveBody
)
(
part
?P ?A)
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?P)))))))))
Mid-level-ontology.kif 30184-30197
如果
Clothed
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 不存在
另一个 实体
这样
那个 另外 实体
是
繁殖体
的
instance
和
那个 另外 实体
是
那个 实体
的
part
和 不存在
第三 实体
这样
那个 第三 实体
是
服装
的
instance
和
covers
那个 第三 实体
and
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
如果
客体
是
冰山
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
冰
的
instance
和
那个 另外 客体
是
那个 客体
的
most
和
那个 第三 客体
是
水体
的
instance
和
covers
那个 第三 客体
and
那个 另外 客体
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15986-15993
如果
物理
是
服装
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
动物
的
instance
和
那个 另外 实体
是
那个 实体
的
part
和
covers
那个 物理
and
那个 另外 实体
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
如果
客体
是
浅滩
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
土地形式
的
instance
和
那个 另外 客体
是
那个 客体
的
most
和
那个 第三 客体
是
水体
的
instance
和
covers
那个 第三 客体
and
那个 另外 客体
(=>
(
instance
?T
Tire
)
(
hasPurpose
?T
(
exists
(?W ?R)
(
and
(
instance
?W
Wheel
)
(
instance
?R
WheelRim
)
(
part
?T ?W)
(
part
?R ?W)
(
covers
?T ?R)))))
Cars.kif 4772-4781
如果
物理
是
Tire
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
轮
的
instance
和
那个 另外 实体
是
WheelRim
的
instance
和
那个 物理
是
那个 实体
的
part
和
那个 另外 实体
是
那个 实体
的
part
和
covers
那个 物理
and
那个 另外 实体
(=>
(
instance
?TC
TireChain
)
(
hasPurpose
?TC
(
exists
(?V ?W ?F)
(
and
(
instance
?V
RoadVehicle
)
(
instance
?W
Wheel
)
(
part
?W ?V)
(
instance
?F
Friction
)
(
covers
?TC ?W)
(
instrument
?F ?TC)))))
Cars.kif 4438-4448
如果
物理
是
TireChain
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
公路车辆
的
instance
和
那个 另外 实体
是
轮
的
instance
和
那个 另外 实体
是
那个 实体
的
part
和
那个 第三 实体
是
摩擦
的
instance
和
covers
那个 物理
and
那个 另外 实体
和
那个 物理
是导致
那个 第三 实体
的
instrument
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4766-4770
如果
物理
是
单板
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
covers
那个 物理
and
那个 实体
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