No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23380-23382 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23384-23384 |
法定监护人 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23385-23385 |
法定监护人 的 2 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23377-23377 |
法定监护人 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23376-23376 |
法定监护人 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23378-23378 |
法定监护人 是 部分值关系 的 instance |