| Casino(casino) | | casino, gambling_casino |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1448-1449 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1447-1447 | Casino is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64592-64592 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1463-1468 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1451-1459 |
|
|
|
|