No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	LunchTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	Minuto e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9043-9043	Mes e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	NightTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19104-19104	PostMeridiem e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8987-8987	QuarterYear e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 26-26	Ramadan e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19131-19131	SeasonOfYear e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9360	Segundo e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8862	Sunrise e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8866-8866	Sunset e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9332	Semana e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19118-19118	Weekend e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8738	Ano e' uma sub-classe de Intervalo Temporal
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