| LegalSummons(法律传票)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15669-15670 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4927-4927 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15668-15668 | 法律传票 是 司法程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15667-15667 | 法律传票 是 命令 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33840-33840 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33839-33839 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33838-33838 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15672-15684 |
|
|
|