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
The number 1 argument of
covers
is an
instance
of
object
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
The number 2 argument of
covers
is an
instance
of
object
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
is an
instance
of
binary predicate
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
is an
instance
of
spatial relation
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
is an
instance
of
transitive relation
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
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 30178-30188
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)))
Mid-level-ontology.kif 29758-29765
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 30160-30173
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 15914-15921
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 4787-4796
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 4453-4463
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 4771-4775
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