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
The number 1 argument of
covers
is an
instance
of
object
(
domain
covers
2
Object
)
Merge.kif 15950-15950
The number 2 argument of
covers
is an
instance
of
object
(
instance
covers
BinaryPredicate
)
Merge.kif 15946-15946
covers
is an
instance
of
binary predicate
(
instance
covers
SpatialRelation
)
Merge.kif 15948-15948
covers
is an
instance
of
spatial relation
(
instance
covers
TransitiveRelation
)
Merge.kif 15947-15947
covers
is an
instance
of
transitive relation
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
If
an object
covers
another object
and
a third object
is a
superficial
part of
the other object
,
then
the object
meet
s
the third 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 30202-30212
An entity
is an
instance
of
body part
and
bare
is an
attribute
of
the entity
holds
during
a time position
if and only if there doesn't exist
another entity
such that
the other entity
is an
instance
of
clothing
and
the other entity
covers
the entity
holds
during
the time position
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Merge.kif 15963-15970
If
a process
is an
instance
of
covering
and
an entity
is a
patient
of
the process
and
an object
is an
instrument
for
the process
,
then
the object
covers
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
clothed
is an
attribute
of
an entity
holds
during
a time position
,
then there doesn't exist
another entity
such that
the other entity
is an
instance
of
reproductive body
and
the other entity
is a
part
of
the entity
and there doesn't exist
a third entity
such that
the third entity
is an
instance
of
clothing
and
the third entity
covers
the other entity
holds
during
the time position
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
If
an object
is an
instance
of
iceberg
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
ice
and
the other object
is
most
of
the object
and
the third object
is an
instance
of
body of water
and
the third object
covers
the other object
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15986-15993
If
a physical
is an
instance
of
clothing
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
animal
and
the other entity
is a
part
of
the entity
and
the physical
covers
the other entity
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
If
an object
is an
instance
of
shoal
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
land form
and
the other object
is
most
of
the object
and
the third object
is an
instance
of
body of water
and
the third object
covers
the other 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 4772-4781
If
a physical
is an
instance
of
tire
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
wheel
and
the other entity
is an
instance
of
rim
and
the physical
is a
part
of
the entity
and
the other entity
is a
part
of
the entity
and
the physical
covers
the other 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 4438-4448
If
a physical
is an
instance
of
snow chain
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
road vehicle
and
the other entity
is an
instance
of
wheel
and
the other entity
is a
part
of
the entity
and
the third entity
is an
instance
of
friction
and
the physical
covers
the other entity
and
the physical
is an
instrument
for
the third entity
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4766-4770
If
a physical
is an
instance
of
veneer
,
then
the physical
has the purpose there exists
an entity
such that
the physical
covers
the 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