TreeView Knowledge Base Browser - AnteMeridiem

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AnteMeridiem

AnteMeridiem(ante meridiem)

A.M., a.m., ante_meridiem, antemeridian

appearance as argument number 1

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.	Mid-level-ontology.kif 19092-19093
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5857-5857
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6100-6100
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6101-6101
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19091-19091	Ante meridiem is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7794-7794
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7793-7793
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7792-7792

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19095-19102

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 24 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 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