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
covers
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
covers
2
Object
)
Mid-level-ontology.kif 29745-29745
covers
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
covers
BinaryPredicate
)
Mid-level-ontology.kif 29741-29741
covers
は
2進述語
の
instance
では %n
(
instance
covers
SpatialRelation
)
Mid-level-ontology.kif 29743-29743
covers
は
空間的関係
の
instance
では %n
(
instance
covers
TransitiveRelation
)
Mid-level-ontology.kif 29742-29742
covers
は
推移関係
の
instance
では %n
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
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
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
エンティティー
は
体の部分
の
instance
では %n
Bare
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
衣類
の
instance
では %n
covers
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
工程
は
覆い
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
covers
オブジェクト
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
生殖体
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
エンティティー
は
衣類
の
instance
では %n
covers
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
Ice
)
(
most
?PART ?BERG)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 4742-4749
オブジェクト
は
Iceberg
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
Ice
の
instance
では %n
most
オブジェクト
and
オブジェクト
オブジェクト
は
BodyOfWater
の
instance
では %n
covers
オブジェクト
and
オブジェクト
(=>
(
instance
?CLOTHING
Clothing
)
(
hasPurpose
?CLOTHING
(
exists
(?H ?P)
(
and
(
instance
?H
Animal
)
(
part
?P ?H)
(
covers
?CLOTHING ?P)))))
Merge.kif 15914-15921
物理
は
衣類
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
動物
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
covers
物理
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?LAND
Shoal
)
(
exists
(?PART ?WATER)
(
and
(
instance
?PART
LandForm
)
(
most
?PART ?LAND)
(
instance
?WATER
BodyOfWater
)
(
covers
?WATER ?PART))))
Geography.kif 5920-5927
オブジェクト
は
Shoal
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
LandForm
の
instance
では %n
most
オブジェクト
and
オブジェクト
オブジェクト
は
BodyOfWater
の
instance
では %n
covers
オブジェクト
and
オブジェクト
(=>
(
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
物理
は
Tire
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Wheel
の
instance
では %n
エンティティー
は
WheelRim
の
instance
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
covers
物理
and
エンティティー
の 目的 %n{ない}
(=>
(
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
物理
は
TireChain
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
RoadVehicle
の
instance
では %n
エンティティー
は
Wheel
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
Friction
の
instance
では %n
covers
物理
and
エンティティー
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
instance
?V
Veneer
)
(
hasPurpose
?V
(
exists
(?OBJ)
(
covers
?V ?OBJ))))
Mid-level-ontology.kif 4771-4775
物理
は
Veneer
の
instance
では %n
物理
は
エンティティー
covers
物理
and
エンティティー
の 目的 %n{ない}
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