No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16525-16528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2844-2844 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2846-2846 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2845-2845 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2847-2847 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2700-2700 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2843-2843 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16524-16524 |
子類 執照 and Certificate |