No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7606-7606	Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8507-8507	Organizational board is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16667-16667	Political organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16758-16758	Religious organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8520-8520	Security unit is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8449-8449	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 7018-7018	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 8537-8537	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