No TPTP formula. May not be expressible in strict first order.	Government.kif 4362-4362	dateEstablished WorldMeteorologicalOrganization and le jour 11
No TPTP formula. May not be expressible in strict first order.	Government.kif 4368-4368	dateEstablished WorldTourismOrganization and le jour 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 4374-4374	dateEstablished WorldTradeOrganization and le jour 15
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2143-2143	UnixEpoch est seconde 0
No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	Position temporel est une instance de le jour 3 Montenegro est une instance de IndependentState pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	Position temporel est une instance de le jour 3 Montenegro s'appele nom "Montenegro" pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 2791-2794	Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 337-337	ChristmasDay est une sous-classe de le jour 25
No TPTP formula. May not be expressible in strict first order.	Media.kif 517-517	Epiphany est une sous-classe de le jour 6

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