AnteMeridiem - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint AnteMeridiem PostMeridiem)	Mid-level-ontology.kif 20196-20196	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 20181-20182	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 20180-20180	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 20184-20191

If a time interval is an instance of ante meridiem,
then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 0 and the other time interval starts the time interval and the third time interval is an instance of the hour 12 and the third time interval finishes the time interval

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: