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. ")
Mid-level-ontology.kif 29747-29750
(
domain
covers
1
Object
)
Mid-level-ontology.kif 29744-29744
covers
的 1 数量 是
客体
的
instance
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
covers
的 2 数量 是
客体
的
instance
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
是
二元谓语
的
instance
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
是
空间关系
的
instance
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
是
传递关系
的
instance
appearance as argument number 2
(
format
EnglishLanguage
covers
"%1 covers %2")
Mid-level-ontology.kif 29746-29746
(
termFormat
EnglishLanguage
covers
"covers")
domainEnglishFormat.kif 65801-65801
antecedent
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29752-29756
如果
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 30178-30188
实体
是
身体部位
的
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)))
Mid-level-ontology.kif 29758-29765
如果
过程
是
遮盖
的
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 30160-30173
如果
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 15914-15921
如果
物理
是
服装
的
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 4787-4796
如果
物理
是
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 4453-4463
如果
物理
是
TireChain
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
公路车辆
的
instance
和
那个 另外 实体
是
轮
的
instance
和
那个 另外 实体
是
那个 实体
的
part
和
那个 第三 实体
是
摩擦
的
instance
和
covers
那个 物理
and
那个 另外 实体
和
那个 物理
是导致
那个 第三 实体
的
instrument
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
如果
物理
是
单板
的
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