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
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
Writer
e' um
atributo
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Texto
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Document
Processo
e' uma
instancia
de
Escrever
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
Entidade
e' uma
instancia
de
OrganismRemains
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE e' uma
sub
-classe de
Objeto Organico
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
DeadFn
AutonomousAgent
TYPE
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
Processo
e' uma
instancia
de
Harvesting
Entidade
e' o
resultado
de
Processo
Entidade
RG
Entidade
e' uma
instancia
de
DeadFn
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Objeto Organico
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Processo
e' uma
instancia
de
Felling
Entidade
e' o
resultado
de
Processo
Entidade
TEM
Entidade
e' uma
instancia
de
DeadFn
Entidade
TEM
Entidade
TEM e' uma
sub
-classe de
PlantStem
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
Classe
e' uma
sub
-classe de
Newspaper
Posicao Temporal
e' uma
instancia
de
Semana
Processo
Entidade
Processo
e' uma
instancia
de
Publicacao
tempo
de existencia de
Processo
e' uma &parte de
Posicao Temporal
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Classe
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