No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1727-1727	上市在 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16964-16964	货币工资 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17272-17272	任职 的 3 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3474-3474	organizationName 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1620-1620	组织产品类型 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1660-1660	组织服务类型 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27197-27197	policyOwner 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15486-15486	出版 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 132-132	recordingCompany 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24153-24153	组织的宗教信仰 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1912-1912	在组织中举行的席位 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2067-2067	组织席位数 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2119-2119	分享在 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16743-16743	子机构 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16744-16744	子机构 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22727-22727	从属于组织 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22744-22744	从属地位 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2577-2577	继任组织 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2578-2578	继任组织 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3926-3926	thirdPartyProduct 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20529-20529	workLocation 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 957-957	建立年份 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4633-4633	外交组织类型 的 2 数量 是 机构 的 subclass

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