No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 177-177	Refugee is an instance of social role
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 185-185	Stateless person is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22596-22596	Student is an instance of social role
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2135-2135	Terrorist is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22606-22606	Tourist is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17250-17250	Unemployed person is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22199-22199	Veteran is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22303-22303	Widowed woman is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22234-22234	Occupational role is a subclass of social role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17264-17264	Position is a subclass of social role
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