No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 472-472 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 471-471 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 470-470 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23374-23374 |
子關係 國內的合作夥伴 and 同居 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15512-15512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15511-15511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15510-15510 |
|