agentOperatesInArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2239-2241 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2235-2235 | 代理人在区域内经营 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2236-2236 | 代理人在区域内经营 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2234-2234 | 代理人在区域内经营 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2237-2237 | 代理人在区域内经营 是 有一部分位于 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 76-76 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 75-75 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 74-74 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2228-2228 | 国家政党 是 代理人在区域内经营 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5826-5826 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5825-5825 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5824-5824 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2362-2369 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4504-4509 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4498-4502 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2516-2524 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4118-4118 | 格鲁吉亚共和国 是 agent 运作在 联合国驻格鲁吉亚观察团 地区 |