AnteMeridiem |
appearance as argument number 1 |
(disjoint AnteMeridiem PostMeridiem) | Mid-level-ontology.kif 19134-19134 | AnteMeridiem è disgiunto da PostMeridiem |
(documentation AnteMeridiem EnglishLanguage "The class of TimeIntervals that begin at midnight and end at noon.") | Mid-level-ontology.kif 19119-19120 | |
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Westclox_Big_Ben.jpg") | pictureList.kif 5857-5857 | |
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Exetercathedralclock.jpg") | pictureList.kif 6100-6100 | |
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Digital-clock-alarm.jpg") | pictureList.kif 6101-6101 | |
(subclass AnteMeridiem TimeInterval) | Mid-level-ontology.kif 19118-19118 | AnteMeridiem è una sottoclasse di IntervalloTemporale |
appearance as argument number 2 |
(termFormat ChineseLanguage AnteMeridiem "上午") | domainEnglishFormat.kif 7794-7794 | |
(termFormat ChineseTraditionalLanguage AnteMeridiem "午前") | domainEnglishFormat.kif 7793-7793 | |
(termFormat EnglishLanguage AnteMeridiem "ante meridiem") | domainEnglishFormat.kif 7792-7792 |
antecedent |
(=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 24 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM)))) |
Mid-level-ontology.kif 19122-19129 |
|