No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 627-628 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2993-2993 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3202-3202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3201-3201 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3203-3203 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3204-3204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 626-626 |
子類 陽光 and RadiatingLight |