standardRetailHours |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 366-368 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 370-370 | O argumento numero 2 de standardRetailHours e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 369-369 | O argumento numero 1 de standardRetailHours e' uma sub-classe de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 365-365 | standardRetailHours e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 364-364 | standardRetailHours e' uma sub-relacao de businessHours |
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 |
antecedent |