No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4262-4262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4261-4261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4260-4260 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 610-610 |
|