No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19328-19328 |
相反的屬性 寧靜 and 焦慮 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19329-19329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8098-8098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8099-8099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8100-8100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6926-6926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19327-19327 |
子屬性 寧靜 and 幸福 |