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	AutonomousAgent offers 拍賣樣品在 Catalog 在其間 TimeInterval Entity 是在 Catalog 子類 Entity and Process 例 TimeInterval and TimeInterval 子類 TimeInterval and TimeInterval AutonomousAgent 是 capable 當成 agent 在 Entity 在期間 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	例 TimeInterval and TimeInterval_CLASS 子類 TimeInterval_CLASS and Process 例 AccessingWebPage and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent 期間 TimeInterval and AccessingWebPage 例 Physical and TimeInterval TimeInterval 例 TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 期間 TimeInterval and AccessingWebPage 之前開始何時 TimeInterval and 開始何時 TimeInterval 等於開始何時 AccessingWebPage and 開始何時 Physical 等於開始何時 TimeInterval and 結束何時 Physical 等於 AccessingWebPage 的 time 在類別 TimeInterval_CLASS and Physical
(=> (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	AutonomousAgent offers 拍賣樣品在 Catalog 在其間 TimeInterval Entity 是在 Catalog 子類 Entity and Object 例 Process and Process 子類 Process and Process 例 Entity and Entity 患者 Process and Entity 例 TimeInterval and TimeInterval 子類 TimeInterval and TimeInterval AutonomousAgent 是 capable 當成 agent 在 Process 在期間 TimeInterval
(subclass TimeInterval TimePosition)	Merge.kif 2084-2084	子類 TimeInterval and TimePosition
(subclass Holiday TimeInterval)	Mid-level-ontology.kif 14848-14848	子類假日 and TimeInterval
(subclass AnteMeridiem TimeInterval)	Mid-level-ontology.kif 19091-19091	子類午前 and TimeInterval
(subclass PostMeridiem TimeInterval)	Mid-level-ontology.kif 19104-19104	子類發布meridiem and TimeInterval
(subclass Weekend TimeInterval)	Mid-level-ontology.kif 19118-19118	子類週末 and TimeInterval
(subclass SeasonOfYear TimeInterval)	Mid-level-ontology.kif 19131-19131	子類一年的季節 and TimeInterval
(subclass Year TimeInterval)	Merge.kif 8738-8738	子類年 and TimeInterval
(subclass Decade TimeInterval)	Merge.kif 8765-8765	子類 Decade and TimeInterval
(subclass DayTime TimeInterval)	Merge.kif 8857-8857	子類一天的時間 and TimeInterval
(subclass Sunrise TimeInterval)	Merge.kif 8862-8862	子類日出 and TimeInterval
(subclass Sunset TimeInterval)	Merge.kif 8866-8866	子類日落 and TimeInterval
(subclass NightTime TimeInterval)	Merge.kif 8888-8888	子類晚上的時間 and TimeInterval
(subclass QuarterYear TimeInterval)	Merge.kif 8987-8987	子類 QuarterYear and TimeInterval
(subclass Month TimeInterval)	Merge.kif 9043-9043	子類 Month and TimeInterval
(subclass Day TimeInterval)	Merge.kif 9230-9230	子類 Day and TimeInterval
(subclass Week TimeInterval)	Merge.kif 9332-9332	子類 Week and TimeInterval
(subclass Hour TimeInterval)	Merge.kif 9340-9340	子類 Hour and TimeInterval
(subclass Minute TimeInterval)	Merge.kif 9350-9350	子類 Minute and TimeInterval
(subclass Second TimeInterval)	Merge.kif 9360-9360	子類 Second and TimeInterval
(subclass BreakfastTime TimeInterval)	Food.kif 1849-1849	子類 BreakfastTime and TimeInterval
(subclass LunchTime TimeInterval)	Food.kif 1861-1861	子類 LunchTime and TimeInterval
(subclass DinnerTime TimeInterval)	Food.kif 1878-1878	子類 DinnerTime and TimeInterval
(subclass Ramadan TimeInterval)	ArabicCulture.kif 26-26	子類齋月 and TimeInterval
(subclass DhuAlHijjah TimeInterval)	ArabicCulture.kif 112-112	子類 dhu al hijjah and 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