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
コンテンツベアリングオブジェクト
は
JointPublication
の
subclass
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
組織
組織
は組織
USMilitary
の一部では %n
AutonomousAgent
は
組織
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15446-15453
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
FactualText
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
ContentBearingPhysical
は
公式
の コンテンツを
subsume
s %n{ない}
公式
は
公式
の
instance
では %n
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2288-2293
コンテンツベアリングオブジェクト
は
PartyPlatform
の
subclass
では %n
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
PoliticalParty
の
instance
では %n
(=>
(
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
NewsReporter
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
オブジェクト
の
time
の existence は
エンティティー
の
time
の existence と
overlap
s %n{dない}
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
Newspaper
の
subclass
では %n
エンティティー
は
NewsProgram
の
subclass
では %n
オブジェクト
は
エンティティー
の
author
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} の 目的 %n{ない}
(=>
(
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
ArtCritic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
芸術作品
の
instance
では %n
オブジェクト
の
time
の existence は
エンティティー
の
time
の existence と
overlap
s %n{dない}
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
記事
の
subclass
では %n
オブジェクト
は
エンティティー
の
author
では %n
エンティティー
は
エンティティー
への
reference
を includes %n{ない} の 目的 %n{ない}
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2295-2302
コンテンツベアリングオブジェクト
は
PartyPlatform
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
認識エージェント
は
PoliticalParty
の
instance
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
containsFormula
ContentBearingPhysical
and
公式
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
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
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
FictionalText
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
公式
ContentBearingPhysical
は
公式
の コンテンツを
subsume
s %n{ない}
公式
は
公式
の
instance
では %n
認識エージェント
は
公式
を
believe
ない
(=>
(
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
は
AutonomousAgent
の
attribute
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
テキスト
の
subclass
では %n
コンテンツベアリングオブジェクト
は
Document
の
subclass
では %n
工程
は
執筆
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
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