Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnteMeridiem

Sigma KEE - AnteMeridiem
AnteMeridiem

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


(disjoint AnteMeridiem PostMeridiem) Mid-level-ontology.kif 19107-19107
(documentation AnteMeridiem EnglishLanguage "The class of TimeIntervals that begin at midnight and end at noon.") Mid-level-ontology.kif 19092-19093
(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 19091-19091

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 19095-19102


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 is open source software produced by Articulate Software and its partners