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 |