No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 177-177	例 難民 and SocialRole
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 185-185	例 無國籍人 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22596-22596	例 學生 and SocialRole
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2135-2135	例 恐怖分子 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22606-22606	例 遊客 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17250-17250	例 失業的 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22199-22199	例 老將 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22303-22303	例 寡 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22234-22234	子類 職業角色 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17264-17264	子類 Position and SocialRole
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1239-1239
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1699-1699
No TPTP formula. May not be expressible in strict first order.	french_format.kif 917-917
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 450-450
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 453-453
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2601-2601
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 869-869
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 455-455
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 489-489
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 938-938
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 454-454

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