No TPTP formula. May not be expressible in strict first order. |
People.kif 659-659 |
God e' uma instancia de Deity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1982-1982 |
Angel e' uma sub-classe de Deity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18954-18954 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18953-18953 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18952-18952 |
|