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


KB Term:  Term intersection
English Word: 

  PostMeridiem

 Sigma KEE - PostMeridiem
PostMeridiem(post meridiem)
P.M., p.m., post_meridiem, postmeridian

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


(subclass PostMeridiem TimeInterval) Mid-level-ontology.kif 21041-21041 Post meridiem is a subclass of timeframe
(documentation PostMeridiem EnglishLanguage "The class of TimeIntervals that begin at noon and end at midnight.") Mid-level-ontology.kif 21042-21043 Post meridiem is a subclass of timeframe
(externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Westclox_Big_Ben.jpg") pictureList.kif 6784-6784 Post meridiem is a subclass of timeframe
(externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Exetercathedralclock.jpg") pictureList.kif 7624-7624 Post meridiem is a subclass of timeframe
(externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Harrison%27s_Chronometer_H5.JPG") pictureList.kif 7625-7625 Post meridiem is a subclass of timeframe
(externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Digital_clock_alarm.jpg") pictureList.kif 7626-7626 Post meridiem is a subclass of timeframe

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


(disjoint AnteMeridiem PostMeridiem) Mid-level-ontology.kif 21044-21044 Ante meridiem is disjoint from post meridiem
(termFormat EnglishLanguage PostMeridiem "post meridiem") domainEnglishFormat.kif 46819-46819 Ante meridiem is disjoint from post meridiem
(termFormat ChineseTraditionalLanguage PostMeridiem "發布meridiem") domainEnglishFormat.kif 46820-46820 Ante meridiem is disjoint from post meridiem
(termFormat ChineseLanguage PostMeridiem "发布meridiem") domainEnglishFormat.kif 46821-46821 Ante meridiem is disjoint from post meridiem

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


(=>
    (instance ?PM PostMeridiem)
    (exists (?D ?HOUR1 ?HOUR2)
        (and
            (instance ?HOUR1
                (HourFn 12 ?D))
            (starts ?HOUR1 ?PM)
            (instance ?HOUR2
                (HourFn 23 ?D))
            (finishes ?HOUR2 ?PM))))		 Mid-level-ontology.kif 21046-21053 If X is an instance of post meridiem, then there exist Y, Z, W such that Z is an instance of the hour 12, Z starts X, W is an instance of the hour 23, 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