Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AnteMeridiem

 Sigma KEE - AnteMeridiem
AnteMeridiem(ante meridiem)
A.M., a.m., ante_meridiem, antemeridian

appearance as argument number 1
-------------------------


(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 21028-21028 Ante meridiem is a subclass of timeframe
(documentation AnteMeridiem EnglishLanguage "The class of TimeIntervals that begin at midnight and end at noon.") Mid-level-ontology.kif 21029-21030 Ante meridiem is a subclass of timeframe
(disjoint AnteMeridiem PostMeridiem) Mid-level-ontology.kif 21044-21044 Ante meridiem is disjoint from post meridiem
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Westclox_Big_Ben.jpg") pictureList.kif 5856-5856 Ante meridiem is disjoint from post meridiem
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Exetercathedralclock.jpg") pictureList.kif 6099-6099 Ante meridiem is disjoint from post meridiem
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Digital_clock_alarm.jpg") pictureList.kif 6100-6100 Ante meridiem is disjoint from post meridiem

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AnteMeridiem "ante meridiem") domainEnglishFormat.kif 7792-7792
(termFormat ChineseTraditionalLanguage AnteMeridiem "εˆε‰") domainEnglishFormat.kif 7793-7793
(termFormat ChineseLanguage AnteMeridiem "上午") domainEnglishFormat.kif 7794-7794

antecedent
-------------------------


(=>
    (instance ?AM AnteMeridiem)
    (exists (?D ?HOUR1 ?HOUR2)
        (and
            (instance ?HOUR1
                (HourFn 0 ?D))
            (starts ?HOUR1 ?AM)
            (instance ?HOUR2
                (HourFn 12 ?D))
            (finishes ?HOUR2 ?AM))))		 Mid-level-ontology.kif 21032-21039 If X is an instance of ante meridiem, then there exist Y, Z, W such that Z is an instance of the hour 0, Z starts X, W is an instance of the hour 12, and W finishes X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners