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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position(地位)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3850-3851
No TPTP formula. May not be expressible in strict first order. Merge.kif 17265-17267
No TPTP formula. May not be expressible in strict first order. Merge.kif 17264-17264 地位 是 身分 的 subclass

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2054-2054 经纪人 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1356-1356 主席 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 912-912 主席JCs 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 332-332 战斗指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2769-2769 DatabaseAdministrator 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 893-893 导演.JS 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18716-18716 全职职位 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1355-1355 政府副手 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1619-1619 州长 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 356-356 联合部队空军司令 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 344-344 联合部队指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 378-378 联合部队陆军指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 400-400 联合部队海上指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 432-432 联合部队特种作战指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 336-336 联合特遣部队指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1392-1392 王 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2256-2256 领导 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1633-1633 副州长 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3644-3644 经理 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1637-1637 市长 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1358-1358 军事指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1360-1360 君主 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2258-2258 全国委员会主席 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18720-18720 兼职职位 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2257-2257 常驻代表 是 地位 的 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 1783-1783 成员角色 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Biography.kif 151-151 appointedPosition 的 3 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4446-4446 外交使团团长 的 3 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1553-1553 国家元首 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1578-1578 国家主席 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4523-4523 外交代表类型 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4458-4458 外交代表担任职务 的 3 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1599-1599 政府首脑 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1436-1436 领导职位 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17271-17271 任职 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22745-22745 从属地位 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22746-22746 从属地位 的 3 数量 是 地位 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1789-1795
No TPTP formula. May not be expressible in strict first order. Government.kif 1797-1803
No TPTP formula. May not be expressible in strict first order. Government.kif 1456-1462
No TPTP formula. May not be expressible in strict first order. Government.kif 1447-1453
No TPTP formula. May not be expressible in strict first order. Government.kif 1806-1812
No TPTP formula. May not be expressible in strict first order. Government.kif 1487-1494
No TPTP formula. May not be expressible in strict first order. Government.kif 1478-1485

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4573-4580


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