No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	A time position is an instance of the day 3 and Montenegro is an instance of european nation holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	A time position is an instance of the day 3 and Montenegro is an instance of independent state holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	A time position is an instance of the day 3 and serbia and montenegro is not an instance of independent state holds during after the time position

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