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 17336-17338
No TPTP formula. May not be expressible in strict first order. Merge.kif 17335-17335 地位 是 身分 的 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 1320-1320 主席 是 地位 的 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 18743-18743 全职职位 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1319-1319 政府副手 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1583-1583 州长 是 地位 的 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 1356-1356 王 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2220-2220 领导 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1597-1597 副州长 是 地位 的 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 1601-1601 市长 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1322-1322 军事指挥官 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1324-1324 君主 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2222-2222 全国委员会主席 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18747-18747 兼职职位 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2221-2221 常驻代表 是 地位 的 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 1747-1747 成员角色 的 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 4410-4410 外交使团团长 的 3 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1517-1517 国家元首 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1542-1542 国家主席 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4487-4487 外交代表类型 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4422-4422 外交代表担任职务 的 3 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1563-1563 政府首脑 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1400-1400 领导职位 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17342-17342 任职 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22797-22797 从属地位 的 2 数量 是 地位 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22798-22798 从属地位 的 3 数量 是 地位 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1753-1759
No TPTP formula. May not be expressible in strict first order. Government.kif 1761-1767
No TPTP formula. May not be expressible in strict first order. Government.kif 1420-1426
No TPTP formula. May not be expressible in strict first order. Government.kif 1411-1417
No TPTP formula. May not be expressible in strict first order. Government.kif 1770-1776
No TPTP formula. May not be expressible in strict first order. Government.kif 1451-1458
No TPTP formula. May not be expressible in strict first order. Government.kif 1442-1449

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4537-4544


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