| AnteMeridiem(ante meridiem)
| | A.M., a.m., ante_meridiem, antemeridian |
| appearance as argument number 1 |
|
|
| (disjoint AnteMeridiem PostMeridiem) | Mid-level-ontology.kif 20695-20695 | Ante meridiem is disjoint from post meridiem |
| (documentation AnteMeridiem EnglishLanguage "The class of TimeIntervals that begin at midnight and end at noon.") | Mid-level-ontology.kif 20680-20681 | 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 |
| (subclass AnteMeridiem TimeInterval) | Mid-level-ontology.kif 20679-20679 | Ante meridiem is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AnteMeridiem "δΈε") | domainEnglishFormat.kif 7801-7801 | |
| (termFormat ChineseTraditionalLanguage AnteMeridiem "εε") | domainEnglishFormat.kif 7800-7800 | |
| (termFormat EnglishLanguage AnteMeridiem "ante meridiem") | domainEnglishFormat.kif 7799-7799 |
| 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 20683-20690 |
|
|
|
|