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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pump

Sigma KEE - AnteMeridiem
AnteMeridiem

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


(disjoint AnteMeridiem PostMeridiem) Mid-level-ontology.kif 16838-16838
(documentation AnteMeridiem EnglishLanguage "The class of TimeIntervals that begin at midnight and end at noon.") Mid-level-ontology.kif 16824-16825
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Westclox_Big_Ben.jpg") pictureList.kif 5858-5858
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Exetercathedralclock.jpg") pictureList.kif 6101-6101
(externalImage AnteMeridiem "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Digital-clock-alarm.jpg") pictureList.kif 6102-6102
(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 16823-16823

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AnteMeridiem "ante meridiem") domainEnglishFormat.kif 1733-1733

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 16826-16833


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners