Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
instance
?S ?C)
(
subclass
?C
Seafood
))
(
exists
(?X ?SEA ?ANIMAL)
(
and
(
meatOfAnimal
?C ?ANIMAL)
(
instance
?X ?ANIMAL)
(
instance
?SEA
BodyOfWater
)
(
inhabits
?X ?SEA))))
Food.kif 1928-1937
Entidade
e' uma
instancia
de
Carne
Carne
e' uma
sub
-classe de
Seafood
Organismo
Entidade
EA and
Animal
meatOfAnimal
Carne
and
Animal
Organismo
e' uma
instancia
de
Animal
Entidade
EA e' uma
instancia
de
BodyOfWater
Organismo
vive
em
Entidade
EA
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