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
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
子類
Series
and
Periodical
等於
系列卷
Series
and
PositiveInteger
and
Text
等於
系列卷
Series
and
PositiveInteger
and
Text
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
Text
例
Entity
and
Text
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
Day
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
持有期間
TimePosition
and
發布
entity
and
Class
子類
Class
and
Periodical
持有期間
TimePosition
and
attribute
entity
and
定期出版商
(
subclass
Periodical
Series
)
Mid-level-ontology.kif 14673-14673
子類
Periodical
and
Series
(
subclass
Newspaper
Periodical
)
Mid-level-ontology.kif 14777-14777
子類
報紙
and
Periodical
(
subclass
Magazine
Periodical
)
Mid-level-ontology.kif 14800-14800
子類
雜誌
and
Periodical
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