No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20986-20987 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4936-4936 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5067-5067 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5066-5066 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20985-20985 |
公共辩护人 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20984-20984 |
公共辩护人 是 律师 的 subAttribute |