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
est un
attribut
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
texte
objet exprimant un sens
est une
sous
-classe de
Document
processus
est une
instance
de
�crire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
(=>
(
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
Entit�
est une
instance
de
OrganismRemains
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE est une
sous
-classe de
objet organique
entit�
est le
resultat
de
processus
entit�
est une
instance
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
Processus
est une
instance
de
Harvesting
entit�
est le
resultat
de
processus
entit�
RG
entit�
est une
instance
de
DeadFn
entit�
RG
entit�
RG est une
sous
-classe de
objet organique
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Processus
est une
instance
de
Felling
entit�
est le
resultat
de
processus
entit�
TEM
entit�
est une
instance
de
DeadFn
entit�
TEM
entit�
TEM est une
sous
-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
est une
sous
-classe de
Newspaper
position temporel
est une
instance
de
semaine
processus
entit�
processus
est une
instance
de
publier
temps
d'existence de
processus
est une
partie
de
position temporel
entit�
est le
resultat
de
processus
entit�
est une
instance
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