| PoliceFacility(警察设施)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20923-20923 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2316-2316 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1925-1925 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2315-2315 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20922-20922 | 警察设施 是 建筑物 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46410-46410 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46409-46409 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46408-46408 |
|
|
|