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 - FinishedLumber
FinishedLumber
(FinishedLumber)
appearance as argument number 1
(
documentation
FinishedLumber
EnglishLanguage
"
FinishedLumber
is
RoughSawnLumber
that has been passed through a
Plan
ner.")
Economy.kif 5769-5770
(
subclass
FinishedLumber
Lumber
)
Economy.kif 5768-5768
FinishedLumber
is a
subclass
of
lumber
appearance as argument number 2
(
termFormat
EnglishLanguage
FinishedLumber
"FinishedLumber")
domainEnglishFormat.kif 64885-64885
antecedent
(=>
(
instance
?F
FinishedLumber
)
(
exists
(?C ?P)
(
and
(
instance
?C
Cutting
)
(
instrument
?C ?P)
(
instance
?P
Planer
)
(
result
?C ?F))))
Economy.kif 5772-5779
If
an entity
is an
instance
of
FinishedLumber
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
cutting
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
planer
and
the entity
is a
result
of
the process
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
