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	Serie e' uma sub-classe de Periodico o volume Inteiro positivo na serie Serie e' igual a Texto o volume Inteiro positivo na serie Serie e' igual a Texto Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Texto Entidade e' uma instancia de Texto Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1906-1910	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Periodico PeriodicalPublishers e' um atributo de Entidade vale durante Posicao Temporal
(subclass Periodical Series)	Mid-level-ontology.kif 14673-14673	Periodico e' uma sub-classe de Serie
(subclass Newspaper Periodical)	Mid-level-ontology.kif 14777-14777	Newspaper e' uma sub-classe de Periodico
(subclass Magazine Periodical)	Mid-level-ontology.kif 14800-14800	Magazine e' uma sub-classe de Periodico

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