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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostMeridiem
PostMeridiem(post meridiem)
P.M., p.m., post_meridiem, postmeridian

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19105-19106
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6785-6785
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7625-7625
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7626-7626
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7627-7627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19104-19104 Post meridiem is a subclass of time interval

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19107-19107 Ante meridiem is disjoint from post meridiem
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46826-46826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46825-46825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46824-46824

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19109-19116


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