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 - CowMilk
CowMilk
(sheep milk)
cows'_milk
appearance as argument number 1
(
documentation
CowMilk
EnglishLanguage
"
CowMilk
is the
Milk
of
Cow
s.")
Food.kif 2842-2842
(
subclass
CowMilk
Milk
)
Food.kif 2841-2841
Sheep milk
is a
subclass
of
milk
appearance as argument number 2
(
subclass
ProcessedMilk
CowMilk
)
Food.kif 2828-2828
Processed milk
is a
subclass
of
sheep milk
(
termFormat
EnglishLanguage
CowMilk
"cow milk")
Food.kif 2843-2843
Processed milk
is a
subclass
of
sheep milk
(
termFormat
EnglishLanguage
CowMilk
"sheep milk")
Food.kif 3050-3050
Processed milk
is a
subclass
of
sheep milk
consequent
(=>
(
instance
?PM
ProcessedMilk
)
(
exists
(?P ?M)
(
and
(
instance
?P
IntentionalProcess
)
(
instance
?M
CowMilk
)
(
patient
?P ?M)
(
result
?P ?PM))))
Food.kif 2832-2839
If
an entity
is an
instance
of
processed milk
,
then there exist
a process
and
another entity
such that
the process
is an
instance
of
intentional process
and
the other entity
is an
instance
of
sheep milk
and
the other entity
is a
patient
of
the process
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
