standardRetailHours
|
|
Sigma KEE - standardRetailHours
appearance as argument number 1
|
|
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4614-4614 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4613-4613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4612-4612 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 371-371 |
|
|