No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11522-11523 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4996-4996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4998-4998 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4997-4997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4747-4747 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11521-11521 |
子類 象牙 and Bone |