No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	LunchTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9372-9372	Minute est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9065-9065	Mois est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8910-8910	NightTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19103-19103	PostMeridiem est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9009-9009	QuarterYear est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 26-26	Ramadan est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19130-19130	SeasonOfYear est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9382-9382	Seconde est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8884-8884	Sunrise est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	Sunset est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9354-9354	Semaine est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19117-19117	Weekend est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8760-8760	Ann�e est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 880-880
No TPTP formula. May not be expressible in strict first order.	english_format.kif 962-962
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2085-2085
No TPTP formula. May not be expressible in strict first order.	french_format.kif 556-556
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 86-86
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 89-89
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2241-2241
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 123-123
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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