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
Il numero 1 argomenti di
covers
è un
istanza
di
Oggetto
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
Il numero 2 argomenti di
covers
è un
istanza
di
Oggetto
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
è un'
istanza
di
PredicatoBinario
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
è un'
istanza
di
RelazioneSpaziale
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
è un'
istanza
di
RelazioneTransitiva
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
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 30178-30188
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 29758-29765
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 30160-30173
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 15914-15921
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 4787-4796
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 4453-4463
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