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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnteMeridiem
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


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