Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SocialRole
SocialRole(身分)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3846-3847
No TPTP formula. May not be expressible in strict first order. Merge.kif 17240-17242
No TPTP formula. May not be expressible in strict first order. Merge.kif 17239-17239 身分 是 关联属性 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3815-3815 Antivaxxer 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22169-22169 名人 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22295-22295 平民 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 298-298 平民被拘禁者 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Justice.kif 84-84 Criminal 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 54-54 流离失所者 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22368-22368 持不同政见 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2459-2459 敌人 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 113-113 撤离者 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 142-142 被驱逐 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 220-220 Founder 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 173-173 人类奴隶 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 80-80 国内流离失所者 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Communications.kif 452-452 互联网用户 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1778-1778 投资者 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22184-22184 骑士 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 51-51 Mausaharati 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 169-169 移民 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22454-22454 激进 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2279-2279 Nazi 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1422-1422 PrinceConsort 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 237-237 囚犯 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 252-252 战俘 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1397-1397 女王 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1411-1411 QueenConsort 是 身分 的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1839-1839 职位候选人 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1738-1738 计划选举日期 的 3 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1747-1747 选举职位 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1873-1873 选举胜利者 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1647-1647 角色任命角色 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1648-1648 角色任命角色 的 3 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1657-1657 角色批准角色 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1658-1658 角色批准角色 的 3 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1667-1667 角色提名角色 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1668-1668 角色提名角色 的 3 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1677-1677 期限长度 的 2 数量 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1858-1858 收到投票分数 的 2 数量 是 身分 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17244-17248


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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