No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1727-1727	域 上市在, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16964-16964	域 貨幣工資, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17272-17272	域 佔據位置, 3 and Organization
No TPTP formula. May not be expressible in strict first order.	Media.kif 3474-3474	域 organizationName, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1620-1620	域 組織產品類型, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1660-1660	域 組織服務類型, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27197-27197	域 policyOwner, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15486-15486	域 發布, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Music.kif 132-132	域 recordingCompany, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24153-24153	域 組織的宗教信仰, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1912-1912	域 在組織中舉行的席位, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2067-2067	域 組織席位數, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2119-2119	域 分享在, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16743-16743	域 子組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16744-16744	域 子組織, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22727-22727	域 從屬於組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22744-22744	域 從屬地位, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2577-2577	域 繼任組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2578-2578	域 繼任組織, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3926-3926	域 thirdPartyProduct, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20529-20529	域 workLocation, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 957-957	域 建立年份, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4633-4633	域子類 外交組織類型, 2 and Organization

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