Sigma KB Term Intersection

(=> (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	シリーズは周期的の subclass では %n series シリーズの volume 正の整数はテキストと equal では %n series シリーズの volume 正の整数はテキストと equal では %n 正の整数は正の整数より greater では　%n 工程は出版の instance では %n 工程は出版の instance では %n エンティティーはテキストの instance では %n エンティティーはテキストの instance では %n エンティティーは工程の patient では %n エンティティーは工程の patient では %n 工程の date は日では工程の date は日では日の end は日の end の before に happens %n{ない}
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1906-1910	エンティティーはクラスを publishes %n{ない} は時間位置の during holds %n{ない} クラスは周期的の subclass では %n PeriodicalPublishers はエンティティーの attribute では %n は時間位置の during holds %n{ない}
(subclass Periodical Series)	Mid-level-ontology.kif 14673-14673	周期的はシリーズの subclass では %n
(subclass Newspaper Periodical)	Mid-level-ontology.kif 14777-14777	Newspaper は周期的の subclass では %n
(subclass Magazine Periodical)	Mid-level-ontology.kif 14800-14800	Magazine は周期的の subclass では %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