No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7607-7607	NonprofitOrganization est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8508-8508	OrganizationalBoard est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16645-16645	Organisation politique est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16736-16736	Organisation religieuse est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8521-8521	SecurityUnit est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8450-8450	ServiceOrganization est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3265-3265	ShipCrew est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7019-7019	SportsLeague est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1754-1754	StockMarket est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3095-3095	TransportationAuthority est une sous-classe de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8538-8538	UnionOrganization est une sous-classe de organisation
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