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 子類 Position and SocialRole

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2054-2054 例 經紀人 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1356-1356 例 主席 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 912-912 例 主席JCs and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 332-332 例 戰鬥指揮官 and Position
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2769-2769 例 DatabaseAdministrator and Position
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 893-893 例 導演.JS and Position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18716-18716 例 全職職位 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1355-1355 例 政府副手 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1619-1619 例 州長 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 356-356 例 聯合部隊空軍司令 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 344-344 例 聯合部隊指揮官 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 378-378 例 聯合部隊陸軍指揮官 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 400-400 例 聯合部隊海上指揮官 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 432-432 例 聯合部隊特種作戰指揮官 and Position
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 336-336 例 聯合特遣部隊指揮官 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1392-1392 例 王 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 2256-2256 例 領導 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1633-1633 例 副州長 and Position
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3644-3644 例 經理 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1637-1637 例 市長 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1358-1358 例 軍事指揮官 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1360-1360 例 君主 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 2258-2258 例 全國委員會主席 and Position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18720-18720 例 兼職職位 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 2257-2257 例 常駐代表 and Position

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 and Position
No TPTP formula. May not be expressible in strict first order. Biography.kif 151-151 域 appointedPosition, 3 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 4446-4446 域 外交使團團長, 3 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1553-1553 域 國家元首, 2 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1578-1578 域 國家主席, 2 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 4523-4523 域 外交代表類型, 2 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 4458-4458 域 外交代表擔任職務, 3 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1599-1599 域 政府首腦, 2 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1436-1436 域 領導職位, 2 and Position
No TPTP formula. May not be expressible in strict first order. Merge.kif 17271-17271 域 佔據位置, 2 and Position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22745-22745 域 從屬地位, 2 and Position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22746-22746 域 從屬地位, 3 and Position

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