No TPTP formula. May not be expressible in strict first order.	Government.kif 1352-1352	主席 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1498-1498	美国总统 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1353-1353	总理 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4476-4476	Pulmonologist 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1406-1406	QueenRegnant 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3282-3282	广播运营商 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 454-454	国防部长 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 338-338	服务主管 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2255-2255	发言人 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 334-334	统一指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2209-2209	最高法院法官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1357-1357	副主席 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1354-1354	副总统 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1762-1762	会员 的 range 是 地位 的实例
No TPTP formula. May not be expressible in strict first order.	Government.kif 1784-1784	成员角色 的 range 是 地位 的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18787-18787	大学生的位置 是 地位 的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 4394-4394	外国服务职位 是 地位 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8273-8273	体力劳动 是 地位 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18961-18961	建模位置 是 地位 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20876-20876	宗教立场 是 地位 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1240-1240
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1701-1701
No TPTP formula. May not be expressible in strict first order.	french_format.kif 918-918
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 452-452
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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