Sigma KB Term Intersection

(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?CLASS agent ?AGENT ?TIME))	Catalog.kif 130-137	Wenn offersAtTime AutonomousAgent, Catalog and TimeInterval und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Process und TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist eine teilkategorie von TimeInterval, dann capabilityDuring Entity, agent, AutonomousAgent and TimeInterval
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	Wenn TimeInterval ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval_CLASS ist eine teilkategorie von Process und AccessingWebPage ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und AccessingWebPage ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend AccessingWebPage %n{nicht} und Physical ist ein fall von TimeInterval %n{nicht} und es gibt nicht TimeInterval2 um TimeInterval2 ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval2 ist der agent von AutonomousAgent %n{nicht} und TimeInterval2 geschieht waehrend AccessingWebPage %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval2 geschieht vor der anfang von die zeit des Bestehens von TimeInterval %n{nicht} und der anfang von die zeit des Bestehens von AccessingWebPage ist gleich der anfang von die zeit des Bestehens von Physical %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval ist gleich das ende von die zeit des Bestehens von Physical %n{nicht}, dann TTFxFn TimeInterval_CLASS and AccessingWebPage ist gleich Physical %n{nicht}
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	Wenn offersAtTime AutonomousAgent, Catalog and TimeInterval und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Object und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Entity ist ein fall von Entity %n{nicht} und Entity ist ein patient von Process %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist eine teilkategorie von TimeInterval, dann capabilityDuring Process, agent, AutonomousAgent and ** TimeInterval
(subclass TimeInterval TimePosition)	Merge.kif 2084-2084	TimeInterval ist eine teilkategorie von TimePosition
(subclass Holiday TimeInterval)	Mid-level-ontology.kif 14848-14848	Holiday ist eine teilkategorie von TimeInterval
(subclass AnteMeridiem TimeInterval)	Mid-level-ontology.kif 19091-19091	AnteMeridiem ist eine teilkategorie von TimeInterval
(subclass PostMeridiem TimeInterval)	Mid-level-ontology.kif 19104-19104	PostMeridiem ist eine teilkategorie von TimeInterval
(subclass Weekend TimeInterval)	Mid-level-ontology.kif 19118-19118	Weekend ist eine teilkategorie von TimeInterval
(subclass SeasonOfYear TimeInterval)	Mid-level-ontology.kif 19131-19131	SeasonOfYear ist eine teilkategorie von TimeInterval
(subclass Year TimeInterval)	Merge.kif 8738-8738	Year ist eine teilkategorie von TimeInterval
(subclass Decade TimeInterval)	Merge.kif 8765-8765	Decade ist eine teilkategorie von TimeInterval
(subclass DayTime TimeInterval)	Merge.kif 8857-8857	DayTime ist eine teilkategorie von TimeInterval
(subclass Sunrise TimeInterval)	Merge.kif 8862-8862	Sunrise ist eine teilkategorie von TimeInterval
(subclass Sunset TimeInterval)	Merge.kif 8866-8866	Sunset ist eine teilkategorie von TimeInterval
(subclass NightTime TimeInterval)	Merge.kif 8888-8888	NightTime ist eine teilkategorie von TimeInterval
(subclass QuarterYear TimeInterval)	Merge.kif 8987-8987	QuarterYear ist eine teilkategorie von TimeInterval
(subclass Month TimeInterval)	Merge.kif 9043-9043	Month ist eine teilkategorie von TimeInterval
(subclass Day TimeInterval)	Merge.kif 9230-9230	Day ist eine teilkategorie von TimeInterval
(subclass Week TimeInterval)	Merge.kif 9332-9332	Week ist eine teilkategorie von TimeInterval
(subclass Hour TimeInterval)	Merge.kif 9340-9340	Hour ist eine teilkategorie von TimeInterval
(subclass Minute TimeInterval)	Merge.kif 9350-9350	Minute ist eine teilkategorie von TimeInterval
(subclass Second TimeInterval)	Merge.kif 9360-9360	Second ist eine teilkategorie von TimeInterval
(subclass BreakfastTime TimeInterval)	Food.kif 1849-1849	BreakfastTime ist eine teilkategorie von TimeInterval
(subclass LunchTime TimeInterval)	Food.kif 1861-1861	LunchTime ist eine teilkategorie von TimeInterval
(subclass DinnerTime TimeInterval)	Food.kif 1878-1878	DinnerTime ist eine teilkategorie von TimeInterval
(subclass Ramadan TimeInterval)	ArabicCulture.kif 26-26	Ramadan ist eine teilkategorie von TimeInterval
(subclass DhuAlHijjah TimeInterval)	ArabicCulture.kif 112-112	DhuAlHijjah ist eine teilkategorie von TimeInterval

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