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
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
Objet exprimant un sens
est une
sous
-classe de
JointPublication
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
formule
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
organisation
organisation
est une partie de l'organization
USMilitary
AutonomousAgent
oblige
organisation
� ex�cut� des t�ches du type
formule
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15400-15407
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
FactualText
agent cognitif
est l'
auteur
de
objet exprimant un sens
ContentBearingPhysical
classe
le contenu de
formule
formule
est une
instance
de
formule
agent cognitif
croit
formule
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
PoliticalParty
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
NewsReporter
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
temps
d'existence de
objet
recouvre
temps
d'existence de
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
Newspaper
entit�
est une
sous
-classe de
NewsProgram
objet
est l'
auteur
de
entit�
entit�
inclut une
r
�f�rence �
entit�
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
ArtCritic
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
objet d'art
temps
d'existence de
objet
recouvre
temps
d'existence de
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
article
objet
est l'
auteur
de
entit�
entit�
inclut une
r
�f�rence �
entit�
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
agent cognitif
est l'
auteur
de
objet exprimant un sens
agent cognitif
est une
instance
de
PoliticalParty
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
containsFormula
ContentBearingPhysical
and
formule
agent cognitif
croit
formule
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15431-15440
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
FictionalText
agent cognitif
est l'
auteur
de
objet exprimant un sens
formule
ContentBearingPhysical
classe
le contenu de
formule
formule
est une
instance
de
formule
agent cognitif
ne
croit
%n{pas}
formule
(=>
(
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
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