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
Die Zahl 1 Argument von
color
ist ein
fall
von
Object
%n{nicht}
(
domain
color
2
ColorAttribute
)
Mid-level-ontology.kif 19360-19360
Die Zahl 2 Argument von
color
ist ein
fall
von
ColorAttribute
%n{nicht}
(
instance
color
BinaryPredicate
)
Mid-level-ontology.kif 19356-19356
color
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
color
attribute
)
Mid-level-ontology.kif 19358-19358
color
ist eine
teilrelation
von
attribut
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
Wenn
visibilityInMeteorology
Region
,
TimeInterval
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
** TimeInterval
ist ein
fall
von
DayTime
%n{nicht} und
Process
ist ein
fall
von
Looking
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
color
** Object
and
Black
und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist
Horizontal
hinsichlich
** Object
%n{nicht} und
eventLocated
** Process
and
** Region
und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** RealNumber
um der
abstand
zwischen
** AutonomousAgent
und
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
consequent
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19362-19368
Wenn
Entity
ist ein
fall
von
ColorAttribute
%n{nicht} und
** Entity
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
color
** ** entity
and
** Entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
instance
?OBJ
Blackboard
)
(
color
?OBJ
Black
))
Media.kif 1093-1095
Wenn
Object
ist ein
fall
von
Blackboard
%n{nicht},
dann
color
** Object
and
Black
(=>
(
instance
?OBJ
Whiteboard
)
(
color
?OBJ
White
))
Mid-level-ontology.kif 25629-25631
Wenn
Object
ist ein
fall
von
Whiteboard
%n{nicht},
dann
color
** Object
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