|
|
  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 | 警官 是 政府立场 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | 警官 是 熟练的职业 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20946-20946 | 代表 是 警官 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20942-20942 | 元帅 是 警官 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20933-20933 | 警察队长 是 警官 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20956-20956 | 警探 是 警官 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20936-20936 | 警长 是 警官 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20939-20939 | 郡治安官 是 警官 的 subAttribute |
| 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 |
|
|
|
