No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	子類 LunchTime and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	子類 Minute and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9043-9043	子類 Month and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	子類 晚上的時間 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19104-19104	子類 發布meridiem and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8987-8987	子類 QuarterYear and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 26-26	子類 齋月 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19131-19131	子類 一年的季節 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9360	子類 Second and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8862	子類 日出 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8866-8866	子類 日落 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9332	子類 Week and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19118-19118	子類 週末 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8738	子類 年 and TimeInterval
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