No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4930-4930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4929-4929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4928-4928 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 949-949 |
|