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
color
Sigma KEE - color
color
appearance as argument number 1
(
domain
color
1
Object
)
Mid-level-ontology.kif 19358-19358
color
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
color
2
ColorAttribute
)
Mid-level-ontology.kif 19359-19359
color
の数値 2 引数は
カラー属性
の
instance
では %n
(
instance
color
BinaryPredicate
)
Mid-level-ontology.kif 19355-19355
color
は
2進述語
の
instance
では %n
(
subrelation
color
attribute
)
Mid-level-ontology.kif 19357-19357
color
は
attribute
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
color
"%1 是 %2 的
color
")
domainEnglishFormat.kif 3038-3038
(
format
ChineseTraditionalLanguage
color
"%1 是 %2 的
color
")
domainEnglishFormat.kif 3037-3037
(
format
EnglishLanguage
color
"%1 is the
color
%2")
domainEnglishFormat.kif 3036-3036
(
termFormat
EnglishLanguage
color
"color")
domainEnglishFormat.kif 65795-65795
antecedent
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2724-2744
visibilityInMeteorology
地域
,
時間間隔
and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
時間間隔
は
DayTime
の
instance
では %n
工程
は
Looking
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
color
オブジェクト
and
Black
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
Horizontal
対
オブジェクト
では %n
eventLocated
工程
and
地域
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
実数
AutonomousAgent
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
consequent
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19361-19367
エンティティー
は
カラー属性
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
color
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?OBJ
Blackboard
)
(
color
?OBJ
Black
))
Media.kif 1093-1095
オブジェクト
は
Blackboard
の
instance
では %n
color
オブジェクト
and
Black
(=>
(
instance
?OBJ
Whiteboard
)
(
color
?OBJ
White
))
Mid-level-ontology.kif 25617-25619
オブジェクト
は
Whiteboard
の
instance
では %n
color
オブジェクト
and
White
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