No TPTP formula. May not be expressible in strict first order. |
People.kif 659-659 |
例 神 and 神 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1984-1984 |
子類 Angel and 神 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18963-18963 |
子類 Angel and 神 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18962-18962 |
子類 Angel and 神 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18961-18961 |
子類 Angel and 神 |