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 29735-29738
(
domain
covers
1
Object
)
Mid-level-ontology.kif 29732-29732
Il numero 1 argomenti di
covers
è un
istanza
di
Oggetto
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29733-29733
Il numero 2 argomenti di
covers
è un
istanza
di
Oggetto
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29729-29729
covers
è un'
istanza
di
PredicatoBinario
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29731-29731
covers
è un'
istanza
di
RelazioneSpaziale
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29730-29730
covers
è un'
istanza
di
RelazioneTransitiva
appearance as argument number 2
(
format
EnglishLanguage
covers
"%1 covers %2")
Mid-level-ontology.kif 29734-29734
(
termFormat
EnglishLanguage
covers
"covers")
domainEnglishFormat.kif 65801-65801
antecedent
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29740-29744
covers
Oggetto
and
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
Oggetto
incontra
s
Oggetto
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 30166-30176
Entit�
è un'
istanza
di
ParteDelCorpo
attribute
Entit�
and
Bare
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Vestito
covers
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29746-29753
Processo
è un'
istanza
di
Coprire
Entit�
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
covers
Oggetto
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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 30148-30161
attribute
Entit�
and
Clothed
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
CorpoRiproduttivo
Entit�
è una
parte
di
Entit�
Entit�
Entit�
è un'
istanza
di
Vestito
covers
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
Oggetto
è un'
istanza
di
Iceberg
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Ice
most
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
BodyOfWater
covers
Oggetto
and
Oggetto
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15936-15943
Entit�Concreta
è un'
istanza
di
Vestito
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è una
parte
di
Entit�
covers
Entit�Concreta
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
Oggetto
è un'
istanza
di
Shoal
Oggetto
Oggetto
Oggetto
è un'
istanza
di
LandForm
most
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
BodyOfWater
covers
Oggetto
and
Oggetto
(=>
(
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 4795-4804
Entit�Concreta
è un'
istanza
di
Tire
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Wheel
Entit�
è un'
istanza
di
WheelRim
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
covers
Entit�Concreta
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 4461-4471
Entit�Concreta
è un'
istanza
di
TireChain
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
RoadVehicle
Entit�
è un'
istanza
di
Wheel
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Friction
covers
Entit�Concreta
and
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
Entit�Concreta
è un'
istanza
di
Veneer
Entit�Concreta
ha
scopo
Entit�
covers
Entit�Concreta
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