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
Sigma KEE - Lawn
Lawn
(lawn)
backyard
,
greensward
,
lawn
,
sod
,
sward
,
turf
appearance as argument number 1
(
documentation
Lawn
EnglishLanguage
"A
Field
of cultivated and mowed
Grass
.")
Mid-level-ontology.kif 9778-9778
(
externalImage
Lawn
"http://upload.wikimedia.org/wikipedia/commons/e/e2/ Haga_lawn.jpg")
pictureList.kif 4762-4762
(
subclass
Lawn
Field
)
Mid-level-ontology.kif 9777-9777
Lawn
is a
subclass
of
field
appearance as argument number 2
(
termFormat
ChineseLanguage
Lawn
"草坪")
domainEnglishFormat.kif 33579-33579
(
termFormat
ChineseTraditionalLanguage
Lawn
"草坪")
domainEnglishFormat.kif 33578-33578
(
termFormat
EnglishLanguage
Lawn
"lawn")
domainEnglishFormat.kif 33577-33577
antecedent
(=>
(
instance
?L
Lawn
)
(
exists
(?G)
(
and
(
instance
?G
Grass
)
(
located
?G ?L))))
Mid-level-ontology.kif 9780-9785
If
an object
is an
instance
of
lawn
,
then there exists
a physical
such that
the physical
is an
instance
of
grass plant
and
the physical
is
located
at
the object
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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