No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7607-7607	Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8508-8508	Organizational board is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16645-16645	Political organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16736-16736	Religious organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8521-8521	Security unit is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8450-8450	Service organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3265-3265	Ship crew is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7019-7019	Sports league is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1754-1754	Stock market is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3095-3095	Transportation authority is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8538-8538	Union organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1067-1067
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1345-1345
No TPTP formula. May not be expressible in strict first order.	french_format.kif 745-745
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 277-277
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 280-280
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2429-2429
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 697-697
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 316-316
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 766-766
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 281-281

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