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 19359-19359
Le nombre 1 argument de
color
est une
instance
de
objet
(
domain
color
2
ColorAttribute
)
Mid-level-ontology.kif 19360-19360
Le nombre 2 argument de
color
est une
instance
de
attribut de couleur
(
instance
color
BinaryPredicate
)
Mid-level-ontology.kif 19356-19356
color
est une
instance
de
pr�dicat binaire
(
subrelation
color
attribute
)
Mid-level-ontology.kif 19358-19358
color
est une
sous
-relation de
attribute
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 2728-2748
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
interval temporel
est une
instance
de
DayTime
processus
est une
instance
de
Looking
objet
est une
instance
de
objet
color
objet
and
Black
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
eventLocated
processus
and
r�gion
temps
d'existence de
processus
prend place
pendant
interval temporel
objet
est une
instance
de
objet
nombre r�el
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
consequent
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19362-19368
Entit�
est une
instance
de
attribut de couleur
entit�
est un
attribut
de
entit�
pendant
position temporel
color
entit�
and
entit�
pendant
position temporel
(=>
(
instance
?OBJ
Blackboard
)
(
color
?OBJ
Black
))
Media.kif 1093-1095
Objet
est une
instance
de
Blackboard
color
objet
and
Black
(=>
(
instance
?OBJ
Whiteboard
)
(
color
?OBJ
White
))
Mid-level-ontology.kif 25629-25631
Objet
est une
instance
de
Whiteboard
color
objet
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