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 and
Object
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
域
covers
, 2 and
Object
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
例
covers
and
BinaryPredicate
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
例
covers
and
SpatialRelation
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
例
covers
and
TransitiveRelation
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
Object
and
Object
膚淺的部分
Object
and
Object
空間的符合
Object
and
Object
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
例
Entity
and
BodyPart
持有期間
TimePosition
and
attribute
Entity
and
Bare
持有期間
TimePosition
and
entity
例
entity
and
Clothing
covers
entity
and
Entity
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
例
Process
and
Covering
患者
Process
and
Entity
儀器
Process
and
Object
持有期間
眼前的未來
何時
Process
and
covers
Object
and
Entity
(=>
(
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
持有期間
TimePosition
and
attribute
entity
and
Clothed
持有期間
TimePosition
and
entity
例
entity
and
ReproductiveBody
部分
entity
and
entity
entity
例
entity
and
Clothing
covers
entity
and
entity
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
例
Object
and
冰山
Object
Object
例
Object
and
冰
Object
是
Object
的
most
例
Object
and
水體
covers
Object
and
Object
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15914-15921
例
Physical
and
Clothing
有目的
Physical
and
entity
entity
例
entity
and
Animal
部分
entity
and
entity
covers
Physical
and
entity
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
例
Object
and
淺灘
Object
Object
例
Object
and
土地形式
Object
是
Object
的
most
例
Object
and
水體
covers
Object
and
Object
(=>
(
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
例
Physical
and
Tire
有目的
Physical
and
entity
entity
例
entity
and
輪
例
entity
and
WheelRim
部分
Physical
and
entity
部分
entity
and
entity
covers
Physical
and
entity
(=>
(
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
例
Physical
and
TireChain
有目的
Physical
and
entity
entity
and
entity
例
entity
and
公路車輛
例
entity
and
輪
部分
entity
and
entity
例
entity
and
摩擦
covers
Physical
and
entity
儀器
entity
and
Physical
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
例
Physical
and
單板
有目的
Physical
and
entity
covers
Physical
and
entity
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