No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20991-20992 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4937-4937 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5069-5069 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5068-5068 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20990-20990 |
检察官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20989-20989 |
检察官 是 律师 的 subAttribute |