No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23343-23343 |
不相交的關係 陌生人 and 熟人 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52-52 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51-51 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50-50 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16555-16555 |
子關係 相識熟人 and 熟人 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5328-5328 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5327-5327 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5326-5326 |
|