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
O argumento numero 1 de
color
e' uma
instancia
de
Objeto
(
domain
color
2
ColorAttribute
)
Mid-level-ontology.kif 19359-19359
O argumento numero 2 de
color
e' uma
instancia
de
Atributo de Cor
(
instance
color
BinaryPredicate
)
Mid-level-ontology.kif 19355-19355
color
e' uma
instancia
de
Predicado Binario
(
subrelation
color
attribute
)
Mid-level-ontology.kif 19357-19357
color
e' uma
sub
-relacao 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 2724-2744
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
DayTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Objeto
color
Objeto
and
Black
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
consequent
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19361-19367
Entidade
e' uma
instancia
de
Atributo de Cor
Entidade
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
color
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?OBJ
Blackboard
)
(
color
?OBJ
Black
))
Media.kif 1093-1095
Objeto
e' uma
instancia
de
Blackboard
color
Objeto
and
Black
(=>
(
instance
?OBJ
Whiteboard
)
(
color
?OBJ
White
))
Mid-level-ontology.kif 25617-25619
Objeto
e' uma
instancia
de
Whiteboard
color
Objeto
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