No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3842-3842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3841-3841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3840-3840 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2796-2796 |
|