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
O argumento numero 1 de
covers
e' uma
instancia
de
Objeto
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
O argumento numero 2 de
covers
e' uma
instancia
de
Objeto
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
e' uma
instancia
de
Predicado Binario
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
e' uma
instancia
de
Relacao Espacial
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
e' uma
instancia
de
Relacao Transitiva
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
Objeto
and
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Objeto
encontra
Objeto
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
Entidade
e' uma
instancia
de
Parte do Corpo
Bare
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
covers
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
Processo
e' uma
instancia
de
Cobrir
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
covers
Objeto
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
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
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Corpo Reprodutor
Entidade
e' uma &parte de
Entidade
Entidade
Entidade
e' uma
instancia
de
Roupa
covers
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
Objeto
e' uma
instancia
de
Iceberg
Objeto
Objeto
Objeto
e' uma
instancia
de
Ice
most
Objeto
and
Objeto
Objeto
e' uma
instancia
de
BodyOfWater
covers
Objeto
and
Objeto
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15914-15921
Fisico
e' uma
instancia
de
Roupa
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma &parte de
Entidade
covers
Fisico
and
Entidade
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
Objeto
e' uma
instancia
de
Shoal
Objeto
Objeto
Objeto
e' uma
instancia
de
LandForm
most
Objeto
and
Objeto
Objeto
e' uma
instancia
de
BodyOfWater
covers
Objeto
and
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
Tire
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Wheel
Entidade
e' uma
instancia
de
WheelRim
Fisico
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
covers
Fisico
and
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
TireChain
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
RoadVehicle
Entidade
e' uma
instancia
de
Wheel
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Friction
covers
Fisico
and
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
Fisico
e' uma
instancia
de
Veneer
Fisico
tem por
fim
Entidade
covers
Fisico
and
Entidade
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