| PoliceOfficer(警官)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20926-20927 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6776-6776 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4796-4796 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7589-7589 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7590-7590 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | 例 警官 and 政府立場 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20924-20924 | 例 警官 and 熟練的職業 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20945-20945 | 子屬性 代表 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20941-20941 | 子屬性 元帥 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20932-20932 | 子屬性 警察隊長 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20955-20955 | 子屬性 警探 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20935-20935 | 子屬性 警長 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20938-20938 | 子屬性 郡治安官 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46416-46416 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46415-46415 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46414-46414 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20928-20930 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 235-237 |
|
|
|