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
side
Sigma KEE - side
side
appearance as argument number 1
(
documentation
side
ChineseLanguage
"(
side
?SIDE ?OBJECT)的意思是 ?SIDE 和
top
或
bottom
相反,是一个物体的旁边。")
chinese_format.kif 2847-2848
(
documentation
side
EnglishLanguage
"(
side
?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the
top
or
bottom
.")
Merge.kif 9778-9779
(
documentation
side
JapaneseLanguage
"(
side
?SIDE ?OBJECT) とは、?SIDE が
top
または %bottom ではなくオブジェクトの側であることを意味する。")
japanese_format.kif 1591-1592
(
domain
side
1
SelfConnectedObject
)
Merge.kif 9775-9775
边
的 1 数量 是
自身连接物体
的
instance
(
domain
side
2
SelfConnectedObject
)
Merge.kif 9776-9776
边
的 2 数量 是
自身连接物体
的
instance
(
instance
side
BinaryPredicate
)
Merge.kif 9774-9774
边
是
二元谓语
的
instance
(
subrelation
side
superficialPart
)
Merge.kif 9773-9773
边
是
表面部分
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
side
"%1 %n 是 %2 的一
side
")
chinese_format.kif 387-387
(
format
EnglishLanguage
side
"a
side
of %2 is %n %1")
english_format.kif 393-393
(
format
FrenchLanguage
side
"le cot� de %2 est %n %1")
french_format.kif 222-222
(
format
ItalianLanguage
side
"un lato di %2 è %1")
relations-it.txt 262-262
(
format
JapaneseLanguage
side
"%2 の
side
は %1 では %n ")
japanese_format.kif 2028-2028
(
format
PortugueseLanguage
side
"o
side
de %2 e' %n %1")
portuguese_format.kif 174-174
(
format
de
side
"eine seite von %2 ist %1")
relations-de.txt 519-519
(
format
hi
side
"%2 kaa paarshva %1 hai")
relations-hindi.txt 299-299
(
format
ro
side
"o
side
%t{faþã} a lui %2 %n{nu} este %1")
relations-ro.kif 242-242
(
format
sv
side
"en sida av %2 är %n{inte} %1")
relations-sv.txt 239-239
(
format
tg
side
"ang tabi ng %2 ay %1")
relations-tg.txt 454-454
(
termFormat
ChineseLanguage
side
"侧")
domainEnglishFormat.kif 52936-52936
(
termFormat
ChineseLanguage
side
"边")
chinese_format.kif 388-388
(
termFormat
ChineseTraditionalLanguage
side
"側")
domainEnglishFormat.kif 52935-52935
(
termFormat
EnglishLanguage
side
"side")
domainEnglishFormat.kif 52934-52934
antecedent
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
如果
自身连接物体
是
地峡
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的一
side
和
第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
,
然后 有存在
客体
,
另一个 客体
,, ,
第三 客体
, and 和
第四 客体
这样
那个 客体
是
土地面积
的
instance
和
那个 另外 客体
是
土地面积
的
instance
和
那个 自身连接物体
是在
那个 客体
和
那个 另外 客体
between
和
那个 第三 客体
是
水域
的
instance
和
那个 第四 客体
是
水域
的
instance
和
那个 另外 自身连接物体
接上
那个 第三 客体
和
那个 第三 自身连接物体
接上
那个 第四 客体
(=>
(
and
(
instance
?Mesa
Mesa
)
(
side
?Side ?Mesa))
(
attribute
?Side
SteepTerrain
))
Geography.kif 4165-4169
如果
自身连接物体
是
台面
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的一
side
,
然后
陡峭的地形
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?butte
Butte
)
(
side
?side ?butte))
(
attribute
?side
SteepTerrain
))
Geography.kif 4176-4180
如果
自身连接物体
是
孤山
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的一
side
,
然后
陡峭的地形
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9781-9788
如果
自身连接物体
是
另一个 自身连接物体
的一
side
和
客体
是
那个 另外 自身连接物体
的
part
和
那个 客体
和
那个 自身连接物体
不 是
connected
,
然后 有存在
位置属性
这样
那个 自身连接物体
在
那个 客体
的
那个 位置属性
(=>
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))
(
width
?OBJECT ?WIDTH))
Merge.kif 9805-9810
如果
自身连接物体
是
另一个 自身连接物体
的一
side
和
第三 自身连接物体
是
那个 另外 自身连接物体
的一
side
和
那个 自身连接物体
和
那个 第三 自身连接物体
的
distance
是
长度测量
,
然后
那个 另外 自身连接物体
的
width
是
那个 长度测量
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9790-9795
如果
自身连接物体
是
另一个 自身连接物体
的
top
和
第三 自身连接物体
是
那个 另外 自身连接物体
的一
side
,
然后
那个 自身连接物体
不
equal
那个 第三 自身连接物体
consequent
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2775-2788
如果
平面
是
自身连接物体
的
attribute
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
,, ,
第三 实数
, and 和
测量单位
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
接上
那个 第三 自身连接物体
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
的
height
是
那个 实数
那个 测量单位
和
那个 另外 自身连接物体
的
height
是
那个 另外 实数
那个 测量单位
和
那个 第三 自身连接物体
的
height
是
那个 第三 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
2.0 和
那个 实数
和
那个 第三 实数
是
greaterThan
2.0 和
那个 实数
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2796-2809
如果
又长又瘦
是
自身连接物体
的
attribute
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
,, ,
第三 实数
, and 和
测量单位
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
接上
那个 第三 自身连接物体
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
的
length
是
那个 实数
那个 测量单位
和
那个 另外 自身连接物体
的
length
是
那个 另外 实数
那个 测量单位
和
那个 第三 自身连接物体
的
length
是
那个 第三 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
3.0 和
那个 实数
和
那个 第三 实数
是
lessThan
3.0 和
那个 实数
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4471-4479
如果
实体
是
盒
的
instance
,
然后
符号串
所描述的类别
instance
的数量
equal
6
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
BackFn
?OBJ) ?OBJ))
Merge.kif 910-912
如果
自身连接物体
是
自身连接物体
的
instance
,
然后
那个 自身连接物体
的后面 是
那个 自身连接物体
的一
side
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
FrontFn
?OBJ) ?OBJ))
Merge.kif 891-893
如果
自身连接物体
是
自身连接物体
的
instance
,
然后
那个 自身连接物体
的前面 是
那个 自身连接物体
的一
side
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 26042-26047
如果
自身连接物体
在
客体
的
Surrounded
,
然后 对所有
另一个 自身连接物体
如果
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
,
然后
那个 另外 自身连接物体
接上
那个 客体
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9797-9803
如果
自身连接物体
的
width
是
长度测量
,
然后 有存在
另一个 自身连接物体
和
第三 自身连接物体
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
和
那个 第三 自身连接物体
的
distance
是
那个 长度测量
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