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
Le nombre 1 argument de
covers
est une
instance
de
objet
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
Le nombre 2 argument de
covers
est une
instance
de
objet
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
est une
instance
de
pr�dicat binaire
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
est une
instance
de
relation spatial
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
est une
instance
de
relation transitive
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
objet
and
objet
objet
est une partie
superficielle
de
objet
objet
rencontre
objet
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
Entit�
est une
instance
de
partie du corps
Bare
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
v�tement
covers
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
Processus
est une
instance
de
couvrir
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
covers
objet
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
corps reproducteur
entit�
est une
partie
de
entit�
entit�
entit�
est une
instance
de
v�tement
covers
entit�
and
entit�
pendant
position temporel
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
Objet
est une
instance
de
Iceberg
objet
objet
objet
est une
instance
de
Ice
most
objet
and
objet
objet
est une
instance
de
BodyOfWater
covers
objet
and
objet
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15914-15921
Physique
est une
instance
de
v�tement
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
animal
entit�
est une
partie
de
entit�
covers
physique
and
entit�
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
Objet
est une
instance
de
Shoal
objet
objet
objet
est une
instance
de
LandForm
most
objet
and
objet
objet
est une
instance
de
BodyOfWater
covers
objet
and
objet
(=>
(
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
Physique
est une
instance
de
Tire
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Wheel
entit�
est une
instance
de
WheelRim
physique
est une
partie
de
entit�
entit�
est une
partie
de
entit�
covers
physique
and
entit�
(=>
(
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
Physique
est une
instance
de
TireChain
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
RoadVehicle
entit�
est une
instance
de
Wheel
entit�
est une
partie
de
entit�
entit�
est une
instance
de
Friction
covers
physique
and
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
Physique
est une
instance
de
Veneer
physique
a pour
but
entit�
covers
physique
and
entit�
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