No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7607-7607	子類 非盈利機構 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8508-8508	子類 組織委員會 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16645-16645	子類 PoliticalOrganization and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16736-16736	子類 ReligiousOrganization and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8521-8521	子類 安全部門 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8450-8450	子類 服務組織 and Organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3265-3265	子類 船員 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7019-7019	子類 體育聯盟 and Organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1754-1754	子類 股市 and Organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3095-3095	子類 運輸當局 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8538-8538	子類 工會組織 and 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