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 14623-14637	Wenn Series ist eine teilkategorie von Periodical und Band PositiveInteger in der reihe Series ist gleich Text %n{nicht} und Band PositiveInteger in der reihe Series ist gleich Text %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht} und Process ist ein fall von Publication %n{nicht} und Process ist ein fall von Publication %n{nicht} und Entity ist ein fall von Text %n{nicht} und Entity ist ein fall von Text %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und datum von Process ist Day %n{nicht} und datum von Process ist Day %n{nicht}, dann das ende von Day geschieht vor das ende von ** Day %n{nicht}
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1906-1910	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und Class ist eine teilkategorie von Periodical, dann PeriodicalPublishers ist ein attribut von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(subclass Periodical Series)	Mid-level-ontology.kif 14672-14672	Periodical ist eine teilkategorie von Series
(subclass Newspaper Periodical)	Mid-level-ontology.kif 14776-14776	Newspaper ist eine teilkategorie von Periodical
(subclass Magazine Periodical)	Mid-level-ontology.kif 14799-14799	Magazine ist eine teilkategorie von 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