No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 301-309	Entit� est une instance de HumanChild pendant position temporel entit� l' entit� est entit� pendant position temporel entit� est une instance de l' interval entre 0 YearDuration(s) et 14 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 259-267	Entit� est une instance de HumanYouth pendant position temporel entit� l' entit� est entit� pendant position temporel entit� est une instance de l' interval entre 0 YearDuration(s) et 17 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 332-340	Entit� est une instance de Teenager pendant position temporel entit� l' entit� est entit� pendant position temporel entit� est une instance de l' interval entre 13 YearDuration(s) et 19 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8796-8798	Interval temporel est une instance de Decade la dur�� de interval temporel est 10 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3716-3718	Interval temporel est une instance de FiscalYearFn AutonomousAgent la dur�� de interval temporel est 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8766-8768	Interval temporel est une instance de ann�e la dur�� de interval temporel est 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Government.kif 1191-1209	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn secteur g�opolitique RegionalLawFn secteur g�opolitique oblige secteur g�opolitique � ex�cut� des t�ches du type entit� entit�, entit� and entit� entit� est un citoyen de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and entit� YearDuration(s) l' entit� est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn secteur g�opolitique entit� entit� est une instance de VotingFn entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1106-1118	UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation humain Election, nombre r�el and nombre r�el humain est un citoyen de nation suffrageAgeMinimum nation and nombre r�el YearDuration(s) l' humain est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � nombre r�el Election est une instance de ElectionFn nation humain est capable de faire VotingFn Election dans le r�le agent

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