| No TPTP formula. May not be expressible in strict first order. | Government.kif 4660-4660 | 外交组织 是 政府组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4666-4666 | 大使馆 是 外交组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4673-4673 | 总领事馆 是 外交组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4680-4680 | 领事馆 是 外交组织 的 subclass |
|
|