|
|
  PoliceOfficer
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20927-20928 | |
| 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 20926-20926 | 例 警官 and 政府立場 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | 例 警官 and 熟練的職業 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20946-20946 | 子屬性 代表 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20942-20942 | 子屬性 元帥 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20933-20933 | 子屬性 警察隊長 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20956-20956 | 子屬性 警探 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20936-20936 | 子屬性 警長 and 警官 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20939-20939 | 子屬性 郡治安官 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 20929-20931 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 235-237 |
|
|
|
