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
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
JointPublication
und
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Formula
und
AutonomousAgent
ist der
schreiber
von
** ** ContentBearingObject
,
dann es gibt
Organization
um
subOrganization
** Organization
and
USMilitary
und
** AutonomousAgent
zwingt
** Organization
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15446-15453
Wenn
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
FactualText
und
CognitiveAgent
ist der
schreiber
von
** ** ContentBearingObject
und
** ContentBearingPhysical
fasst
das Inhalt von
Formula
zusammen und
** Formula
ist ein
fall
von
Formula
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass
** Formula
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2288-2293
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
PartyPlatform
und
AutonomousAgent
ist der
schreiber
von
** ContentBearingObject
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
PoliticalParty
%n{nicht}
(=>
(
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 21093-21107
Wenn
NewsReporter
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Process
%n{nicht} und die
zeit
des Bestehens von
** Object
deckt
sich mit die
zeit
des Bestehens von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist eine
teilkategorie
von
Newspaper
oder
** ** entity
ist eine
teilkategorie
von
NewsProgram
und
** Object
ist der
schreiber
von
** ** entity
und
** ** entity
umfasst einen
hinweis
auf
** entity
%n{nicht}
(=>
(
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 21116-21128
Wenn
ArtCritic
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
ArtWork
%n{nicht} und die
zeit
des Bestehens von
** Object
deckt
sich mit die
zeit
des Bestehens von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist eine
teilkategorie
von
Article
und
** Object
ist der
schreiber
von
** ** entity
und
** ** entity
umfasst einen
hinweis
auf
** entity
%n{nicht}
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2295-2302
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
PartyPlatform
und
CognitiveAgent
ist der
schreiber
von
** ContentBearingObject
und
** CognitiveAgent
ist ein
fall
von
PoliticalParty
%n{nicht} und
ContentBearingPhysical
ist ein
fall
von
** ** ContentBearingObject
%n{nicht} und
containsFormula
** ContentBearingPhysical
and
Formula
,
dann
** CognitiveAgent
glaubt %n{nicht}, dass
** Formula
(=>
(
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 15477-15486
Wenn
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
FictionalText
und
CognitiveAgent
ist der
schreiber
von
** ** ContentBearingObject
,
dann es gibt
Formula
um
** ContentBearingPhysical
fasst
das Inhalt von
** Formula
zusammen und
** Formula
ist ein
fall
von
Formula
%n{nicht} und
** CognitiveAgent
glaubt nicht, dass
** Formula
(=>
(
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
Wenn
Writer
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
Text
oder
** ** ContentBearingObject
ist eine
teilkategorie
von
Document
und
Process
ist ein
fall
von
Writing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** AutonomousAgent
ist der
schreiber
von
** ** ContentBearingObject
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