No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3678-3678 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3677-3677 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3676-3676 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3443-3443 |
子關係 姓 and humanName |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3444-3444 |
子關係 給予的名稱 and humanName |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65855-65855 |
|