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
Die Zahl 1 Argument von
covers
ist ein
fall
von
Object
%n{nicht}
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
Die Zahl 2 Argument von
covers
ist ein
fall
von
Object
%n{nicht}
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
ist ein
fall
von
SpatialRelation
%n{nicht}
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
ist ein
fall
von
TransitiveRelation
%n{nicht}
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
Wenn
covers
Object
and
** Object
und
** Object
ist ein
oberflaechliches
teil von
** ** Object
%n{nicht},
dann
** Object
schliesst
** ** Object
raeumlich an
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
Entity
ist ein
fall
von
BodyPart
%n{nicht} und
Bare
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} genau dann wenn es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
Clothing
%n{nicht} und
covers
** ** entity
and
** Entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
Wenn
Process
ist ein
fall
von
Covering
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
Object
ist ein
instrument
fuer
** Process
%n{nicht},
dann
covers
** Object
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Clothed
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
ReproductiveBody
%n{nicht} und
** ** entity
ist ein
teil
von
** entity
%n{nicht} und es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
Clothing
%n{nicht} und
covers
** ** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
Wenn
Object
ist ein
fall
von
Iceberg
%n{nicht},
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
Ice
%n{nicht} und
most
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
BodyOfWater
%n{nicht} und
covers
** ** Object
and
** ** Object
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15914-15921
Wenn
Physical
ist ein
fall
von
Clothing
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Animal
%n{nicht} und
** ** entity
ist ein
teil
von
** entity
%n{nicht} und
covers
** Physical
and
** ** entity
%n{nicht}
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
Wenn
Object
ist ein
fall
von
Shoal
%n{nicht},
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
LandForm
%n{nicht} und
most
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
BodyOfWater
%n{nicht} und
covers
** ** Object
and
** ** 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
Wenn
Physical
ist ein
fall
von
Tire
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Wheel
%n{nicht} und
** ** entity
ist ein
fall
von
WheelRim
%n{nicht} und
** Physical
ist ein
teil
von
** entity
%n{nicht} und
** ** entity
ist ein
teil
von
** entity
%n{nicht} und
covers
** Physical
and
** ** entity
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
TireChain
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
RoadVehicle
%n{nicht} und
** ** entity
ist ein
fall
von
Wheel
%n{nicht} und
** ** entity
ist ein
teil
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Friction
%n{nicht} und
covers
** Physical
and
** ** entity
und
** Physical
ist ein
instrument
fuer
** ** entity
%n{nicht} %n{nicht}
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
Wenn
Physical
ist ein
fall
von
Veneer
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
covers
** Physical
and
** entity
%n{nicht}
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