| PostMeridiem(post meridiem)
| | P.M., p.m., post_meridiem, postmeridian |
| appearance as argument number 1 |
|
|
| (documentation PostMeridiem EnglishLanguage "The class of TimeIntervals that begin at noon and end at midnight.") | Mid-level-ontology.kif 20676-20677 | |
| (externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Westclox_Big_Ben.jpg") | pictureList.kif 6784-6784 | |
| (externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Exetercathedralclock.jpg") | pictureList.kif 7624-7624 | |
| (externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Harrison%27s_Chronometer_H5.JPG") | pictureList.kif 7625-7625 | |
| (externalImage PostMeridiem "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Digital_clock_alarm.jpg") | pictureList.kif 7626-7626 | |
| (subclass PostMeridiem TimeInterval) | Mid-level-ontology.kif 20675-20675 | Post meridiem is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (disjoint AnteMeridiem PostMeridiem) | Mid-level-ontology.kif 20678-20678 | Ante meridiem is disjoint from post meridiem |
| (termFormat ChineseLanguage PostMeridiem "发布meridiem") | domainEnglishFormat.kif 46828-46828 | Ante meridiem is disjoint from post meridiem |
| (termFormat ChineseTraditionalLanguage PostMeridiem "發布meridiem") | domainEnglishFormat.kif 46827-46827 | Ante meridiem is disjoint from post meridiem |
| (termFormat EnglishLanguage PostMeridiem "post meridiem") | domainEnglishFormat.kif 46826-46826 | 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 20680-20687 |
|
|
|
|