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
superficialPart
Sigma KEE - superficialPart
superficialPart
appearance as argument number 1
(
documentation
superficialPart
ChineseLanguage
"(
superficialPart
?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分,(或者直观的说,只有和 ?OBJ2 的部分重叠,在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系,受
MereologicalSumFn
和
MereologicalProductFn
的封闭。")
chinese_format.kif 2834-2837
(
documentation
superficialPart
EnglishLanguage
"(
superficialPart
?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under
MereologicalSumFn
and
MereologicalProductFn
.")
Merge.kif 9694-9699
(
documentation
superficialPart
JapaneseLanguage
"(
superficialPart
?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも
MereologicalSumFn
と
MereologicalProductFn
下の閉ざされた推移的な関係である。")
japanese_format.kif 1578-1581
(
domain
superficialPart
1
Object
)
Merge.kif 9691-9691
superficialPart
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
superficialPart
2
Object
)
Merge.kif 9692-9692
superficialPart
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
superficialPart
BinaryPredicate
)
Merge.kif 9690-9690
superficialPart
は
2進述語
の
instance
では %n
(
instance
superficialPart
IrreflexiveRelation
)
Merge.kif 9687-9687
superficialPart
は
非反射関係
の
instance
では %n
(
instance
superficialPart
PartialValuedRelation
)
Merge.kif 9689-9689
superficialPart
は
部分的価値関係
の
instance
では %n
(
instance
superficialPart
TransitiveRelation
)
Merge.kif 9688-9688
superficialPart
は
推移関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
superficialPart
"%1 %n 是 %2 的
superficialPart
")
chinese_format.kif 371-371
(
format
EnglishLanguage
superficialPart
"%1 is %n a superficial part of %2")
english_format.kif 372-372
(
format
FrenchLanguage
superficialPart
"%1 est %n une partie superficielle de %2")
french_format.kif 214-214
(
format
ItalianLanguage
superficialPart
"%1 è %n una
part
e superficiale di %2")
relations-it.txt 289-289
(
format
JapaneseLanguage
superficialPart
"%1 は %2 の %n superficial 部分では %n")
japanese_format.kif 2020-2020
(
format
PortugueseLanguage
superficialPart
"%1 e' %n uma parte superficial de %2")
portuguese_format.kif 166-166
(
format
cz
superficialPart
"%1 %p{je} %n{nen�} a minim�ln� ��st� %2")
relations-cz.txt 221-221
(
format
de
superficialPart
"%1 ist ein oberflaechliches teil von %2 %n{nicht}")
relations-de.txt 495-495
(
format
hi
superficialPart
"%1 %2 kaa prishhThiiya bhaaga %n hai")
relations-hindi.txt 326-326
(
format
ro
superficialPart
"%1 %n{nu} este o parte superficial%t{de suprafaþã} a lui %2")
relations-ro.kif 234-234
(
format
sv
superficialPart
"%1 är %n{inte} en ytlig
de
l av %2")
relations-sv.txt 231-231
(
format
tg
superficialPart
"%1 %n ay ang bahagi ng mababaw ng %2")
relations-tg.txt 481-481
(
subrelation
bottom
superficialPart
)
Merge.kif 9743-9743
bottom
は
superficialPart
の
subrelation
では %n
(
subrelation
side
superficialPart
)
Merge.kif 9773-9773
side
は
superficialPart
の
subrelation
では %n
(
subrelation
surface
superficialPart
)
Merge.kif 9712-9712
surface
は
superficialPart
の
subrelation
では %n
(
subrelation
top
superficialPart
)
Merge.kif 9758-9758
top
は
superficialPart
の
subrelation
では %n
(
termFormat
ChineseLanguage
superficialPart
"肤浅的部分")
domainEnglishFormat.kif 56115-56115
(
termFormat
ChineseLanguage
superficialPart
"表面部分")
chinese_format.kif 372-372
(
termFormat
ChineseTraditionalLanguage
superficialPart
"膚淺的部分")
domainEnglishFormat.kif 56114-56114
(
termFormat
EnglishLanguage
superficialPart
"superficial part")
domainEnglishFormat.kif 56113-56113
antecedent
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17767-17776
Monochromatic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
属性
は
原色
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Merge.kif 15957-15961
covers
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1282-1286
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9701-9708
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
の
interior
部分では
オブジェクト
オブジェクト
は
オブジェクト
の
interior
部分では %n
(=>
(
superficialPart
?PART ?WHOLE)
(
part
?PART ?WHOLE))
Merge.kif 9683-9685
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
の
part
では %n
consequent
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17767-17776
Monochromatic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
属性
は
原色
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
オブジェクト
and
長さ測定
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
PlanetEarth
の
superficial
部分では %n
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12662-12675
工程
は
表面変化
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
エンティティー
オブジェクト
は
オブジェクト
の
superficial
部分では %n
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25309-25319
工程
は
Ironing
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
工程
RON and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
工程
は
加熱
の
instance
では %n
工程
RON は
工程
の
patient
では %n
オブジェクト
は
工程
の
patient
では %n
工程
RON は
工程
の
instrument
では %n
(=>
(
and
(
instance
?P
Roughening
)
(
patient
?P ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?PART
Rough
)))))
Mid-level-ontology.kif 25293-25302
工程
は
Roughening
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
ART
工程
ART は
オブジェクト
の
superficial
部分では %n
Rough
は
工程
ART の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?SMOOTH
Smoothing
)
(
patient
?SMOOTH ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?SMOOTH))
(
attribute
?PART
Smooth
)))))
Mid-level-ontology.kif 25277-25286
工程
は
Smoothing
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
Smooth
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
attribute
?OBJ
Polychromatic
)
(
exists
(?PART1 ?PART2 ?COLOR1 ?COLOR2)
(
and
(
superficialPart
?PART1 ?OBJ)
(
superficialPart
?PART2 ?OBJ)
(
attribute
?PART1 ?COLOR1)
(
attribute
?PART2 ?COLOR2)
(
instance
?COLOR1
ColorAttribute
)
(
instance
?COLOR2
ColorAttribute
)
(
not
(
equal
?COLOR1 ?COLOR2)))))
Merge.kif 17789-17799
Polychromatic
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
,
属性
and
属性
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
属性
は
オブジェクト
の
attribute
では %n
属性
は
カラー属性
の
instance
では %n
属性
は
カラー属性
の
instance
では %n
属性
は
属性
と
equal
では
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10122-10129
オブジェクト
は ホール
HoleRegion
の
surface
と
equal
では %n
オブジェクト
は ホール
HoleRegion
の
host
の
superficial
部分では %n
HoleRegion
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120
オブジェクト
は ホール
HoleRegion
の
surface
と
equal
では %n
overlapsSpatially
オブジェクト
and
オブジェクト
オブジェクト
オブジェクト
は ホール
HoleRegion
の
host
の
superficial
部分では %n
HoleRegion
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
instance
?COVER
BodyCovering
)
(
exists
(?BODY)
(
and
(
superficialPart
?COVER ?BODY)
(
or
(
instance
?BODY
Organism
)
(
instance
?BODY
BodyPart
)))))
Merge.kif 15123-15130
オブジェクト
は
ボディカバー
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
物
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
InnerBoundaryFn
?REGION) ?REGION))
Geography.kif 803-805
地域
は
地域
の
instance
では %n
InnerBoundaryFn
地域
は
地域
の
superficial
部分では %n
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
OuterBoundaryFn
?REGION) ?REGION))
Geography.kif 815-817
地域
は
地域
の
instance
では %n
OuterBoundaryFn
地域
は
地域
の
superficial
部分では %n
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9735-9741
オブジェクト
は
オブジェクト
の
interior
部分では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9721-9726
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
オブジェクト
は
自己接続オブジェクト
の
superficial
部分では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %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